generated at
密着位相
from 位相

\mathfrak{O}_\astと表記
\phiSからなる
例えば台集合Sの元が2つのときは\mathfrak{O}_1=\{\phi,S\}