</li><li><a href="https://en.m.wikipedia.org/wiki/Lattice_(order)#General_lattice">Lattice</a></li><li><a href="https://en.m.wikipedia.org/wiki/Lattice_(order)#Bounded_lattice">Bounded Lattice</a></li><li><a href="https://en.m.wikipedia.org/wiki/Heyting_algebra">Heyting Algebra</a></li><li><a href="https://en.m.wikipedia.org/wiki/Boolean_algebra_(structure)#Definition">Boolean Algebra</a></li></ul><p>And some of the algebraic laws:</p><ul><li><a href="https://en.m.wikipedia.org/wiki/Distributive_property">D