También podemos ver que: dado un conjunto A, el complemento de un elemento a de A es otro elemento b de A, definiendo a b como el complemento de a: