Cuando dice " para todo X : f(X) ≠ { X } " .
No logro entender la propiedad.
Gracias
El codominio de f es P(B) el conjunto de partes de B, es decir, el conjunto de todos los subconjuntos de B. La propiedad pide que para todo x en B se cumpla que f(x) no sea el subconjunto de B que solo tiene a x.
Saludos!