PARTICIONES DE CONJUNTO

En matemática, diremos que la familia de subconjuntos {Ai: i ∈ I} de un conjunto A es una partición (sobre A) si se cumple que:
Ai ≠ ∅ para todo i ∈ I.
La unión de todos los Ai es igual a A.
Ai ∩ Aj = ∅, para todo i, j ∈ I, tales que i ≠ j.
Por lo tanto, se trata de un recubrimiento en el que los subconjuntos: pertenecientes a la familia, dos a dos, son disjuntos (es decir, su intersección es vacía).
EJEMPLO:
Todo conjunto de un elemento {x} tiene exactamente una partición: { {x} }.
Para cualquier conjunto no vacío X, P = {X} es una partición de X.
El conjunto { 1, 2, 3 } tiene estas 5 particiones:
{ {1}, {2}, {3} }, a veces notada por 1/2/3.
{ {1, 2}, {3} }, a veces notada por 12/3.
{ {1, 3}, {2} }, a veces notada por 13/2.
{ {1}, {2, 3} }, a veces notada por 1/23.
{ {1, 2, 3} }, a veces notada por 123.
Obsérvese que
{ {}, {1,3}, {2} } no es una partición (pues contiene al conjunto vacío).