Normal Band

Idempotent semigroup (band) that satisfies the identity x*y*u*v = x*u*y*v.