Diskreetse matemaatika elemendid
o DEF: Hulgal X määratud relatsiooni R nimetatakse transitiivseks, kui (x,y)∈R ja
(y,z)∈R korral alati (x,z)∈R
o Kui on olemas paar (y,z) ja (x,y), siis peab olema ka (x,z).
24. Ekvivalentsirelatsioon. Tähtsamad näited.
Ekvivalentsiklassid. Näited. [2] Teoreem hulga jaotumisest
ekvivalentsiklassideks. [3]
Ekivalentsirelatsioon
o Relatsioon, mis on refleksiivne, sümmeetriline ja transitiivne
o Võrdus on ekvivalentsirelatsioon, võrratused ja mittevõrdus ei ole.
Ekivalentsiklassid
o DEF: Hulgal X määratud ekvivalents jagab selle hulga klassideks, seejuures on klassid
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
annaabi.ee 
