空集合は任意の集合の部分集合
\[
\emptyset\subseteq A
\]
カテゴリー: 集合論
冪集合の定義
\[
2^{A}
\]
集合の相等・部分集合・真部分集合の定義
\[
A=B\Leftrightarrow A\subseteq B\land A\supseteq B
\]
空集合の定義と性質
\[
\emptyset=\left\{ \right\}
\]
外延的記法と内包的記法
\[
\left\{ a,b,c\right\}
\]
集合と要素の定義
\[
a\in A
\]