User:Dfeuer/Definition:Normal Submagma of Group

Definition 1
Let $(G,\circ)$ be a group.

Let $(N,\circ)$ be a submagma of $(G,\circ)$.

Suppose that $N$ is a normal subset of $(G,\circ)$.

Then $(N,\circ)$ is a normal submagma of $G$.