Definition:Transitive Closure (Set Theory)/Definition 1

Definition
Let $x$ be a set.

Then the transitive closure of $x$ is the smallest transitive superset of $x$.

Also see

 * Relationship between Transitive Closure Definitions