Orthocomplement
Redirect to:
Complemented lattice