centralizer of a subset of a group

[ریاضیات] مرکز ساز زیرمجموعه ی گروه