Orthomodular lattice