semilattice

idempotent commutative semigroup