開集合系
$ \mathrm{OpenSetsFamilies}:X\mapsto\{\tau\in2^X|X,\varnothing\in\tau\land\forall \mathcal{O}\subseteq\tau;\bigcup\mathcal{O}\in\tau\land\forall O_0,O_1\in\tau;O_0\cap O_1\in\tau\}\in2^{2^X}
……函数名が長いなtakker.icon
$ \mathcal O(X)という書き方を見つけたので、そちらにしたい
利用している文献をここに載せる
2025-07-26 $ \mathscr O_Xを使っている