A semilattice is an idempotent, commutative semigroup, and a bounded semilattice is an idempotent commutative monoid.
A bounded semilattice is an idempotent commutative monoid. A semilattice is an idempotent, commutative semigroup.
A semilattice is an idempotent, commutative semigroup. A bounded semilattice is an idempotent commutative monoid.
A semilattice is an idempotent, commutative semigroup. A bounded semilattice is an idempotent commutative monoid.