Partición de un conjunto

Una partición de un conjunto A está formada por los subconjuntos A₁, A₂, A₃, ..., A_n, los cuales deben cumplir:

• Que la unión de todos los subconjuntos sea igual al conjunto dado.

Partición en 6 subconjuntos.

A₁ ${\displaystyle \cup }$ A₂ ${\displaystyle \cup }$ A₃ ${\displaystyle \cup }$ ... ${\displaystyle \cup }$ A_n = A

• Que todos los subconjuntos sean disjuntos entre sí.
• Que ningún subconjunto sea vacío.

Esta división se representa mediante una colección o familia de subconjuntos de dicho conjunto que lo recubren.

El concepto de partición está ligado al de relación de equivalencia: toda relación de equivalencia sobre un conjunto ${\displaystyle A}$ define una partición de ${\displaystyle A}$, y viceversa. Cada elemento de la partición corresponde a una clase de equivalencia de la relación

Ejemplo:

Dado el conjunto A = {1, 2, 3} se define su partición como:

A₁ = {1} ⋃ {2} ⋃ {3}

A₂ = {1,2} ⋃ {3}

A₃ = {1} ⋃ {2,3}

A₄ = {1,3} ⋃ {2}

A₅ = {1, 2, 3}