Définition 1 (Relation binaire)
E G ⊂E×ER= (E, G)E
Notation.
(x, y)∈E×E(x, y)∈G x y xRy
Exercice 1.
Définition 2 (Réflexivité, (Anti)symétrie, Transitivité)
RER
(i)x∈E xRx
(ii)x, y ∈E xRy yRx
(iii)x, y ∈E xRy yRx x =y
(iv)x, y, z ∈E[xRy yRz]xRz
Exercice 2.
Définition 3 (Relation d’équivalence)
RE E
Exercice 3.
Définition 4 (Classe d’équivalence)
RE x ∈E
x x cl(x){y∈E;xRy}
Exercice 4. x y xRy xey=yexR
x
x
Proposition 1 (Partition)
RE
RE
Définition 5 (Congruences)
(z, p)∈R×Z
(i)x y z x ≡y[z]k
x=y+kz
(ii)m n p n ≡m[p]k
n=m+kp