Definition:Power of Element of Semigroup