Un retículo es distributivo si el operador MEET preserva un número finito y no vacío de operadores JOIN. Un retículo es completo si tiene elementos 0 y 1, y todo retículo finito es completo. En un retículo distributivo y acotado, el complemento de un elemento es único si existe. Un subconjunto de un retículo es un sub-retículo si es cerrado bajo las operaciones de supremo e ínfimo.