Transitive closure ($\mathrm{TC}(x)$)

The transitive closure $\mathrm{TC}(x)$ is the least transitive set containing every member of $x$. It is obtained by taking the union of all finite iterates of the union operation starting from $x$.