Considere um conjunto U, do qual X é um subconjunto não vazio e próprio. Seja Y o complemento do complemento de X (os complementos sendo considerados em relação a U). Então, a