1.
Let ρ₁ and ρ₂ be two equivalence relations defined on a non-void set S. Then