Sea A un conjunto no vacío. Una partición para A es una colección de subconjuntos de A, A1, A 2,. . . , A m 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
-
