Loogika
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.
annaabi.ee 
