Sea formula_8 un conjunto de formula_9 elementos, el conjunto de las partes formula_10 tiene formula_11 elementos, cada uno de ellos es un subconjunto de formula_8 por lo que para cada formula_13 existe su conjunto complementario formula_14.