Definition:Centralizer of Group Subset