Ординал


 * $$a$$ - множество.

Множество $$a$$ — ординал (англ. ordinal or ordinal number, нем. Ordinalzahlen), если множество $$a$$ является транзитивным множеством и произвольный элемент множества $$a$$ является транзитивным множеством: $$ \Upsilon(a) \ \stackrel{\mathrm{def}}{=} \ a\in \mathrm{TransitiveSet} \ \land \ \bigl( \forall b \quad b\in a \Rightarrow b\in \mathrm{TransitiveSet} \bigr) $$