Transitive set

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