Pseudocomplement
= Pseudocomplement
{title2=$\neg a=a\to0$}
The pseudocomplement of $a$ is the greatest element disjoint from $a$. It need not satisfy $a\vee\neg a=1$. In a <frame>, double pseudocomplementation defines the <Booleanization of a locale>; its fixed elements are <regular open elements>.