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