orthocomplemented

In the seminar, we proved that the lattice of closed subspaces of a Hilbert space is orthocomplemented, which is crucial for quantum logic.