Para todo elemento a en B, se cumple que existe un único b en B, tal que b es el complemento de a.