propiedades de la partición de un conjunto
(1) Cada elemento xA pertenece a una clase de equivalencia de A y sólo a una.
(2) La unión de todas las clases de equivalencia de A es igual a A.
(3) La intersección de dos clases de equivalencia de A es vacía.
| Fundamentos de lógica y teoría de la ciencia, Ediciones Universidad de Salamanca, Salamanca 1981, p. 45. |