La estructura formula_3es un álgebra de Boole si y solo si formula_3es un Retículo distributivo, esto es: