Remark

Suppose that V is a subset of R. We claim that (V), the ideal generated by V, coincides with M, the intersection over all ideals containing V.

As noted on the previous page, (V) is contained in M. But also, (V) contains V and so is one of the ideals over which the intersection forming M is taken, so M is contained in (V). Thus, (V) = M.