§2.Relaţii binare pe o mulţime.

Relaţii de echivalenţă

Definiţia 2.1. Dacă A este o mulţime, numim relaţie binară pe A orice submulţime ρ a
produsului cartezian A×A. Dacă a, b∈A şi (a, b)∈ρ vom spune că elementul a este în relaţia ρ cu
b.
De asemenea, vom scrie aρb pentru a desemna faptul că (a, b)∈ρ.

Definiţia2.2. Pentru ρ, ρ‫∋׳‬Rel (A) definim compunerea lor ρ∘ρ‫ ׳‬prin ρ∘ρ‫=})׳‬a, b)∈A×A
| există c∈A a.î. (a, c)∈ρ‫ ׳‬şi (c, b)∈ρ}.
Propoziţia 2.3. Fie ρ, ρ‫׳‬, ρ‫∋׳׳‬Rel (A). Atunci:
(i) ρ∘△A=△A∘ρ=ρ
(ii) (ρ∘ρ‫(∘׳‬ρ‫=׳׳‬ρ∘(ρ‫∘׳‬ρ‫( ׳׳‬
(iii) ρ⊆ρ‫⇒ ׳‬ρ∘ρ‫⊇׳׳‬ρ‫∘׳‬ρ‫ ׳׳‬şi ρ‫∘׳׳‬ρ⊆ρ‫∘׳׳‬ρ‫׳‬
Pentru n∈N şi ρ∈Rel (A) definim:
ρ n=△A Pentru n =0; și ρ n= ρ∘ρ∘ρ∘ρ∘…∘ρ de N ori, pt n>1

Definiţia 2.5. Vom spune despre o relaţie ρ∈Rel(A) că este o echivalenţă pe A dacă este
reflexivă, simetrică şi tranzitivă.
Vom nota prin Echiv (A) mulţimea relaţiilor de echivalenţă de pe A. Evident, △A,
A×A∈Echiv (A).