Para todo elemento a en {0.1}, se cumple que existe un único b en {0,1}, tal que b es la negación de a.