> One example of a non-transitive relation is "city x can be reached via a direct flight from city y" on the set of all cities.
> The transitive closure of this relation is a different relation, namely "there is a sequence of direct flights that begins at city x and ends at city y".