Definition:Center of Semigroup