より一般の開集合の定義を与えることに成功してるやん