Seja e onde A e B são subconjuntos de , e é o complementar de A em relação a X. Sendo assim, pode-se afirmar que o número máximo de elementos de B é