Pseudocomplement

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.