The closure of a relation to make it transitive. See Warshall's algorithm.