Category:Power Function Preserves Ordering in Ordered Semigroup