>>949
集合位相という形で教えられるやつの集合の部分