Orthocomplementation

Redirect to:

• Complemented lattice