Transitive Set

• $x\text{ is transitive }⟺\forall y\in x,y\subseteq x$

• Every element of a transitive set is a subset.

• Ordinals and stages $V_{\alpha }$ are transitive.