Skip to main content\(\newcommand{\N}{\mathbb N} \newcommand{\Z}{\mathbb Z} \newcommand{\Q}{\mathbb Q} \newcommand{\R}{\mathbb R}
\newcommand{\lt}{<}
\newcommand{\gt}{>}
\newcommand{\amp}{&}
\definecolor{fillinmathshade}{gray}{0.9}
\newcommand{\fillinmath}[1]{\mathchoice{\colorbox{fillinmathshade}{$\displaystyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\textstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptscriptstyle\phantom{\,#1\,}$}}}
\)
Subsection 6.2 か行
-
Example 6.2.5. 〜が存在する.
〜が存在する(〜exists, there is(are) 〜)
文字通り「〜がある」という意味。ただし、それがただ一つであるとは
限らない。複数個でもよい。
-
Example 6.2.6. 系.
命題や定理が証明されたのち、それからただちに導かれるもの。著者によっては、加えて「興味深い命題」というニュアンスを付加していることもある。
-
Example 6.2.7. 構成.
ある対象を具体的に定義したり、作り出したりすること。例えば「集合
\(A\)の冪集合の構成」は「集合
\(A\)からその部分集合全体の集合を作り出すこと」を意味する。
-
