Particionado de una relación

Sea $A$ un conjunto sobre el que se ha definido una relación, si esta es de equivalencia genera unos subconjuntos dentro de $A$ bajo el criterio "dos elementos pertenecen al mismo subconjunto si y solo si están en relación "

• Todos los subconjuntos son disjuntos dos a dos.
• La unión de todos los subconjuntos es el total $A$.
• Cada elemento es representante del subconjunto.