completely simple semigroup