Suppose is a group, and is some subset of .
Is it true that if and : , then is a normal subgroup?
Or that has to be a subgroup (not just any subset) for this statment to be true?
I'm asking because I need to prove it, and I not 100 percent sure my teacher didn't make a mistake here...
Thanks in advance.