Para todo elemento A en P(U), se cumple que existe un único B en P(U), tal que B es el complemento A.