docoo
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.
--