Hulk x {\displaystyle x} on transitiivne hulk definitsiooni kohaselt parajasti siis, kui mis tahes z ja y korral kehtib z ∈ y ∈ x ⇒ z ∈ x {\displaystyle z\in y\in x\Rightarrow z\in x} .
Näiteks ordinaalarvud on transitiivsed hulgad.
