Definition:Centralizer of Ring Subset