Category:Power Set of Group under Induced Operation is Semigroup