For the first one, you really just need to check that . The notation is a bit cumbersome, but this fact is actually quite trivial if you think about it. We also have by definition of .
The second bit is even easier: Let be a subring of containing . Since this is a subring of containing , we have by definition of . Using the basic property of intersections, this says that