Teoreem: Ükski hulk ei saa olla iseenese elemendiks. Ühiselemendid annavad oma hulga. Iseenda elemendiks ei olda. ---------------------------- S-seotus aSb & bSc == aSc {0}=1 {0,1}=2 {0,1,2}=3 Iseenda elemendiks olla EI SAA aga iseenda osaks olemine ON KOHUSTUSLIK!!!!' Võrdsus= koosnetakse samadest elementidest ja kuulutakse samadesse kohtadesse. Akronüüm- näiteks $ märgi kirjutan sõnaga ORDINAALARV-ORDINAAL võrdlus. Jaguneb: nullordinaal, järgordinaal ja ordinaal.