>定義1.2 (X,O) は位相空間とする.

これがなんか怪しい