Herstein proved that $S$ can be enlarged to the set of all $a^2 p(a) - a$ with $p$ a polynomial (with integer coefficients).