What do you think is thedefinitionof "normal subgroup"?

The fact that G is or is not abelian is not particularly relevant. Obviously if Gisabelian then every subset satisfies that formula- and it "just happens" that every subgroup of an Abelian groupisa normal subgroup.