normalizer of a subset of a group

[ریاضیات] نرمالگر زیرمجموعه ی گروه