\( \DeclareMathOperator{\Int}{Int} \newcommand{\olO}{\overline{O}} \newcommand{\olY}{\overline{Y}} \newcommand{\olZ}{\overline{Z}} \newcommand{\equ}{\, \Leftrightarrow \,} \newcommand{\imp}{\, \Rightarrow \,} \newcommand{\emset}{\emptyset}…

ベールのカテゴリー定理（２）