Noun
Ockham algebra (plural Ockham algebras) (algebra) A bounded distributive lattice with a dual endomorphism (where “dual” means that it satisfies De Morgan’s laws).