En un retículo distributivo y acotado, el complemento de un elemento "a" es único si existe, lo que suele denotarse como "a" (particularmente en el caso de retículos de subconjuntos) o bien ¬"a" (particularmente en aplicaciones de lógica).