>>345
>M は O の部分集合となる.
前項の（３．１）、（３．２）より明らか

つまり、（３．１）でＭ自身は（３．１）があらわす集合系の部分集合となり
同様に（３．２）があらわす集合系の部分集合となる
従って位相Ｏの部分集合（開集合）となる