The transitive closure of a set is the smallest transitive set such that .
The transitive closure of a set can be constructed as follows:
Define a function on by and