Idempotent Semigroup/Examples