>>231
確かに相対位相の定義なんですが、>>216を証明
せよという問題があったもので。