>>190
すみません、開集合だとしても、任意の開集合を考えますよね？

小さい開集合も大きい開集合も定義では全て調べる必要があるのですよ

しかし、小さい開集合だけ調べておけば、大きい開集合で成り立つのは明らかだということなのです