位相
実装上は空でない集合$ Sの部分集合系$ \mathcal O\in2^Sで構成される $ \mathcal Oが$ Sの位相である$ :\iff
$ S\in\mathcal O
$ \varnothing\in\mathcal O
$ \forall O_1,O_2\in\mathcal O;O_1\cap O_2\in\mathcal O
$ \forall\mathcal O'\subseteq\mathcal O;\bigcup\mathcal O'\in\mathcal O
特別な位相には名前がついている
密着位相$ \mathcal O_*:=\{\varnothing,S\}