Relacija ekvivalencije
Def.
Za relaciju R definisanu na Dekartovom kvadratu, kažemo da je relacija ekvivalencije ako je ta relacija:
1. refleksivna; tj. grafik sadrži dijagonalu Dekartovog kvadrata.(∀x∈A)(x,y)∈R
2. simetrična; tj. grafik je osno simetričan u odnosu na dijagonalu Dekartovog kvadrata.(∀x,y∈A)(x,y)=R=>(y,x)∈R
3. tranzitivna; tj. (∀x,y Z∈A)(x,y)∈R1(y,z)∈R]=>(x,z)∈R