orthomodular lattice Deductions orthomodular lattice is subclass of complemented lattice ⇐ (orthomodular lattice is subclass of orthocomplemented lattice), (orthocomplemented lattice is subclass of complemented lattice), (is subclass of is a transitive relation)