閉集合系の公理
名前は仮takker.icon
閉集合系$ \mathcal C:=\{C\in2^X\mid X\setminus C\in\mathcal O \}が満たす性質の一部 (C1)$ \varnothing\in\mathcal C
(C2)$ \forall C_1,C_2\in\mathcal C:C_1\cup C_2\in\mathcal C
(C3)$ \forall\mathcal C'\subseteq\mathcal C:\bigcap\mathcal C'\in\mathcal C
証明