Suppose is a group, and is somesubsetof .

Is it true that if and : , then is anormal subgroup?

Or that has to be asubgroup(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.