from 位相

\mathfrak{O}^\astと表記

Sの部分集合全体

例えば台集合Sの元が2つのときは\mathfrak{O}_4=\{\phi,\{p\},\{q\},S\} ←S