Transitive set (source code)

= Transitive set
{wiki}

A set $X$ is transitive when every element of an element of $X$ is itself an element of $X$.