命題
X を位相空間とする。
X の開かつ閉な部分集合全体は X 上の集合代数(過去スレ007の196)である。

証明
自明である。