Bool

lattice

BoolFromBoolRing

lattice

BoundedDistributiveLattice

lattice

BoundedJoinSemilattice

lattice

BoundedJoinSemilatticeFunctions

lattice

BoundedLattice

lattice

BoundedMeetSemilattice

lattice

BoundedMeetSemilatticeFunctions

lattice