Band

Definition
A band or idempotent semigroup is a semigroup that is also an idempotent magma, i.e., every element is its own square.