クラトウスキイの公理系の証明など

べき集合から自分自身への写像へ条件を課す。
それにより位相が存在すればその一意性が示せる。
さらにその写像も閉包作用子であることが示せる。

なぜ思いついた!???クラトウスキイ!!!