\begin{definition}[Definition:Normal Subset]
Let $\left({G, \circ}\right)$ be a group.
Let $S \subseteq G$ be a general subset of $G$.
Then $S$ is a '''normal subset of $G$''' {{iff}}:
\end{definition}