While this comment could have been absorbed into the previous comment on this section, it is important to note that Hungerford specifies that does not imply that
for every
when dealing with groups and normal groups.
I find it interesting that the statement for every
, where
and the statement
for every
are equivalent.