from Wiktionary, Creative Commons Attribution/Share-Alike License.
- noun mathematics An element of an ortholattice which is the result of applying an orthocomplementation function to a given element (of that ortholattice) (of which it is said to be its orthocomplement).
Sorry, no etymologies found.
This suggests that we can maintain a classical logical interpretation of the meet, join and orthocomplement as applied to commuting projections.
We saw there that modal interpretations were described in more or less algebraic terms, namely, as a certain set closed under algebraic operations (the operations of meet, join, and orthocomplement on the lattice of projections on a Hilbert space, for example).