Normal subgroup

In group theory, a branch of mathematics, a subgroup formula_1 of the group formula_2 is normal in formula_2 if and only if formula_4 for all formula_5 and formula_6.
The usual notation for this relation is formula_7