also distributive boolean algebra distributive lattice complement math x math exists unique case complement unique write equivalently corresponding unary operation math l math called complementation introduces analogue logical negation lattice theory heyting algebras example distributive lattices members might lacking complements every element math z math heyting algebra hand pseudo complement also denoted ''x'' pseudo complement greatest element math math math x wedge math pseudo complement every
Formal science Mathematics Pure mathematics Algebra Lattice theory