De Morgan algebra

noun1

1. •
   A bounded distributive lattice equipped with an involution (typically denoted ¬ or ~) which satisfies De Morgan's laws.

   • Finally it is shown that the compact elements in the congruence lattice of a De Morgan algebra form a Boolean sublattice. — 1980