Dado que los elementos deΩ son subconjuntos no vacíos disjuntos por parejas deA tal manera que su unión es todo deA,Ω es una partición deA que consta de tres bloques. Si\...Dado que los elementos deΩ son subconjuntos no vacíos disjuntos por parejas deA tal manera que su unión es todo deA,Ω es una partición deA que consta de tres bloques. SiR es una relación sobre un conjunto no vacíoA tal que la colección del conjunto de parientes con respecto aR es una partición deA, entoncesR es una relación de equivalencia.
