Normal subgroup

In group theory, a branch of mathematics, a subgroup  of the group  is normal in  if and only if  for all  and .

The usual notation for this relation is 

Category:Group theory