Helpers Bounded[Join/Meet]Semilattice.[isZero/isOne].