Definition:Power of Element of Monoid