2. Relatsioonid. Ekvivalentsi- ja järjestusseosed. Relatsioon ehk seos hulkade A ja B vahel on alamhulk A x B-le. Seos hulgal A on alamhulk A x A-le. Pöördrelatsioon R-1 on relatsiooni täiend. aRb -> Elemendid a ja b on seoses R Refleksiivsus - iga a korral aRa (a on iseendaga seoses) Sümmeetria iga a korral aRb => bRa (kõik seosed on vastastikused) Transitiivsus iga a korral aRb && bRc => aRc (põhimõtteliselt järjestusseos) Ekvivalentsiseoseks nimetatakse seost, mis on refleksiivne, sümmeetriline ja transitiivne. Elemendiga a (A element) ekvivalentsete elementide hulka nimetatakse a ekvivalentsiklassiks (hulgal A). Elemendiga a ekvivalentsete elementide hulka tähistatakse [a] = {b | aRb}, kus R on ekvivalentsiseos. Teoreem 1: Ekvivalentsiseos R hulgal A. Iga elemendipaari a ja b korral kehtib seos [a] = [b] või [a] ühisosa [b] on tühihulk. Tõestus:
annaabi.ee 
