Transitiivne hulk
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} . Samaväärse definitsiooni järgi on hulk A {\displaystyle A} transitiivne, kui iga tema element, mis on hulk, on tema alamhulk. (Tingimusest jäävad välja pärisurelemendid, st tühihulgast erinevad urelemendid.) Analoogselt on klass A {\displaystyle A} transitiivne klass, kui klassi A {\displaystyle A} iga element tema alamhulk.