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

In semigroup theory, a commutative band is called a semilattice. This is equivalent to the defintion of a semilattice from the theory of partially ordered sets.