Prove that the intersection of any nonempty collection of subrings of a ring is also a subring.
Let be a ring and let be a nonempty set of subrings of .
Now is a subgroup, so it suffices to show that is closed under multiplication. To that end, let . Then for all , and for all . Thus , and by definition is a subring.