Noun
(plural De Morgan algebras)
- (algebra) A bounded distributive lattice which has — additionally — an involution which satisfies De Morgan's laws.
Origin
Named after Augustus De Morgan (1806–1871), British mathematician and logician.