Transitiivne hulk

Hulk ${\displaystyle x}$ on transitiivne hulk definitsiooni kohaselt parajasti siis, kui mis tahes z ja y korral kehtib ${\displaystyle z\in y\in x\Rightarrow z\in x}$.

Samaväärse definitsiooni järgi on hulk ${\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 ${\displaystyle A}$ transitiivne klass, kui klassi ${\displaystyle A}$ iga element tema alamhulk.