band

A band is a semigroup in which every element is idempotent.

In semigroup theory, a commutative band is called a semilattice. This is http://planetmath.org/node/3320equivalent to the defintion of a semilattice from the theory of partially ordered sets.