theorem :: GROUP_22:59

for G being Group
for A being Subset of G holds A is Subset of (Centralizer (Centralizer A))