Generalized Boolean semilattice