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