generalized Boolean semilattice