JoinSemilattice

lattice

JoinSemilatticeFunctions

lattice

join

Priority BoolFromBoolRing DeMorgan GenBool Heyting JoinSemilattice JoinSemilatticeFunctions MinMaxLattice

joinPartialOrder

JoinSemilattice

joinSemilattice

BoundedJoinSemilattice JoinSemilattice