Remarks

If C is the empty collection, the intersection over C is taken to be R.

The theorem is the analog for rings of the result for monoids. In fact, the result holds for any structure. The proof remains basically the same: if each substructure of a collection is closed under all operations, then so is the intersection. For this reason, when dealing with fields later on, we shall not treat the result any more as a separate theorem.