Skip to content

zelph - A Sophisticated Semantic Network System

orthocomplemented lattice

orthocomplemented 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)
Boolean algebra is subclass of orthocomplemented lattice ⇐ (Boolean algebra is subclass of orthomodular lattice), (orthomodular lattice is subclass of orthocomplemented lattice), (is subclass of is a transitive relation)