transitive closureThe transitive closure of a set X is the smallest transitive set tc(X) such that X⊆tc(X).The transitive closure of a set can be constructed as follows:Define a function f on ω by f(0)=X and f(n+1)=⋃f(n)tc(X)=⋃n<ωf(n)