join

LatticeProperties

joinSemilattice

LatticeLaws

joinSemilatticePartialOrder

LatticePartialOrderLaws