In mathematics, specifically in the field of lattice theory and order theory, a **pseudocomplement** is a concept that applies to certain types of lattices, specifically bounded lattices.
Articles by others on the same topic
The pseudocomplement of is the greatest element disjoint from . It need not satisfy . In a frame, double pseudocomplementation defines the Booleanization of a locale; its fixed elements are regular open elements.