Quotient Group is Subgroup of Power Structure of Group

Theorem
Let $\struct {G, \circ}$ be a group.

Let $\struct {H, \circ}$ be a normal subgroup of $\struct {G, \circ}$.

Then $\struct {G / H, \circ_H}$ is a subgroup of $\struct {\powerset G, \circ_\PP}$, where:
 * $\struct {G / H, \circ_H}$ is the quotient group of $G$ by $H$
 * $\struct {\powerset G, \circ_\PP}$ is the semigroup induced by the operation $\circ$ on the power set $\powerset G$ of $G$.

Proof
Follows directly from:


 * Quotient Group is Group
 * Cosets of $G$ by $H$ are subsets of $G$ and therefore elements of $\powerset G$
 * The operation $\circ_H$ is defined as the subset product of cosets.