Idempotent Semigroup/Properties