Definition:Transitive Set

Definition
Let $S$ be a set.

Then $S$ is transitive iff every element of $S$ is also a subset of $S$.

That is, $S$ is transitive iff:


 * $x \in S \implies x \subseteq S$