Diskreetse matemaatika elemendid
omavahel lõikumatud ja üheskoos katavad nad kogu hulga X. Ühte klassi kuuluvad
elemendid on kõik omavahel ekvivalentsed.
o Olgu X lausemuutujatest A ja B moodustatud lausearvutuse valemite hulk ja FRG
tähendagu valemite F ja G samaväärsust. Siis valemi F ekvivalentsiklass on kõigi
temaga samaväärsete ainult muutujaid A ja B sisaldavate valemite hulk. Selgitasime
välja, et hulk X jaguneb 16 ekvivalentsiklassiks.
Teoreem hulga jaotumisest ekivalentsiklassideks
o Teoreem. Kui R on hulgal X defineeritud ekvivalentsirelatsioon, siis kehtib:
1) Kui xRy kehtib, siis [x ] R=[ y ]R ,
2) Kui xRy ei kehti, siis [x ]R ∩ [ y ] R=∅ ,
3) Ekvivalentsiklasside ühend on hulk X .
21
25. Mitterange ja range järjestusrelatsioon. Tähtsamad
näited. Lineaarsed ja mittelineaarsed järjestused. Näited.
[2]
Mitterange järjestusrelatsioon
annaabi.ee 
