>>356
もしかして位相の定義が開集合による特徴付けしかないと思ってる頭よわい人?