De-morgan-algebra meaning

(algebra) A bounded distributive lattice which has — additionally — an involution which satisfies De Morgan's laws.