band — algebraic structure: idempotent semigroup