Equivalence of Definitions of Normal Subset/1 iff 2

Theorem
Let $\left({G, \circ}\right)$ be a group.

Let $S$ be a subset of $G$.

Then Normal Subset/Definition 1 is equivalent to Normal Subset/Definition 2.

That is, the following three statements are equivalent:
 * $(1)\quad \forall g \in G: g \circ S = S \circ g$
 * $(2)\quad \forall g \in G: g \circ S \circ g^{-1} = S$
 * $(3)\quad \forall g \in G: g^{-1} \circ S \circ g = S$

Proof
Let $e$ be the identity of $G$.

First note that:
 * $(4): \quad \left({\forall g \in G: g \circ S \circ g^{-1} = S}\right) \iff \left({\forall g \in G: g^{-1} \circ S \circ g = S}\right)$

which is shown by, for example, setting $h := g^{-1}$ and substituting.

Necessary Condition
Suppose that $S$ satisfies $(1)$.

Then:

Sufficient Condition
Let $S$ be a subset of $G$ such that:
 * $\forall g \in G: g \circ S \circ g^{-1} = S$

or:
 * $\forall g \in G: g^{-1} \circ S \circ g = S$

By $(4)$, as long as one of these statements holds, the other one holds as well.

Then: