Definition:Normal Subset/Definition 5

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

Let $N \subseteq G$.

Then $N$ is a normal subset of $G$ iff:
 * $\forall x,y \in G: x \circ y \in N \implies y \circ x \in N$