User:Dfeuer/Definition:Normal Submagma of Group

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

Let $\left({N, \circ}\right)$ be a submagma of $\left({G, \circ}\right)$.

Let $N$ be a normal subset of $\left({G, \circ}\right)$.

Then $\left({N, \circ}\right)$ is a normal submagma of $G$.