Sea A un conjunto no vacío. Una partición para A es una colección de subconjuntos de A, A1,
A2,. . . ,Am tal que:
Ningún subconjunto Ai es vacío: ∀ i, Ai , ∅
Los conjuntos no tienen elemento en común:
∀ i, j, ( i , j → Ai ∩ A j = ∅ )
La unión de los conjuntos es igual a A:
A1 ∪ A 2 ∪ · · · ∪ A m = A
