Set of Normal Subgroups of Group is Subsemigroup of Power Set under Intersection

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

Let $\HH$ be the set of all normal subgroups of $\struct {G, \circ}$.

Then the algebraic structure $\struct {\HH, \cap}$ is a subsemigroup of the algebraic structure $\struct {\powerset G, \cap}$.

Proof
From Power Set with Intersection is Commutative Monoid, we have that $\struct {\powerset G, \cap}$ is a fortiori a semigroup.

Note that $\HH \subseteq \powerset G$.

Let $H_1$ and $H_2$ be normal subgroups of $\struct {G, \circ}$.

From Intersection of Normal Subgroups is Normal, $H_1 \cap H_2$ is also a normal subgroup of $\struct {G, \circ}$.

Hence $\struct {\HH, \cap}$ is closed.

By Subsemigroup Closure Test, $\struct {\HH, \cap}$ is a subsemigroup of $\struct {\powerset G, \cap}$.