Help


from Wikipedia
« »  
An orthocomplementation on a complemented lattice is an involution which is order-reversing and maps each element to a complement.
An orthocomplemented lattice satisfying a weak form of the modular law is called an orthomodular lattice.

2.665 seconds.