導入して、その開核作用子と一致させることができる。このような位相は一意的に決まる。開核作用子を与えても位相構造を定めることができる。証明は理解できましたが、長いので省略します。逆にその性質から一般的な「開集合」を定義して、それを使って、「位相」なるものを定義するという論理。考えましたね!って感じですね。脳みそ使いまくりますが、面白いです。初めに定義をいろいろ。1つの位相構造を定めるという。1つの位相であるという。位相空間の台(台集合)という。