Power Set of Group under Induced Operation is Semigroup/Proof 2

Proof
By definition a group is also a semigroup.

The result then follows from Power Set of Semigroup under Induced Operation is Semigroup.