The transitive closure of a set X is the smallest (with respect to inclusion) transitive set which contains X. Suppose one is given a set X, then the transitive closure of X is
Note that this is the set of all of the objects related to X by the transitive closure of the membership relation.
Read more about this topic: Transitive Set