Definition:Transitive Closure (Set Theory)

Definition
The transitive closure of a set $S$ is the smallest $T$ that contains $S$ and is transitive.

Notation
The transitive closure may be denoted $\operatorname{TrCl}$.

Also see

 * Transitive Closure Always Exists (Set Theory)