テューキーの補題
有限性をもつ空でない集合族$\mathcal{A}$に対し、包含関係を順序とする半順序集合$\left(\mathcal{A},\subseteq\right)$に極大元が存在する。
ツォルンの補題
帰納的順序集合$\left(X,\preceq\right)$は極大元をもつ。
集合族の有限性・鎖・帰納的順序集合の定義
\[
A\in\mathcal{A}\Leftrightarrow\forall B\subseteq A,\left|B\right|<\infty\rightarrow B\in\mathcal{A}
\]
無限集合は可算無限部分集合をもつ
符...
選択関数と選択公理の定義
\[
\forall\lambda\in\Lambda,A_{\lambda}\ne\emptyset\rightarrow\prod_{\lambda\in\Lambda}A_{\lambda}\ne\emptyset
\]
超限帰納法
\[
P\left(\min X\right)\land\forall x\in X,\left(\forall a\prec x,P\left(a\right)\right)\rightarrow P\left(x\right)\Rightarrow\forall x\in X,P\left(x\right)
\]
整列可能定理
任意の集合は適当な順序を定めることによって整列集合にできる。
整列集合の基本的な性質
\[
X\left\langle \min X\right\rangle =\emptyset
\]
切片の定義
\[
X\left\langle a\right\rangle =\left\{ x\in X;x\prec a\right\}
\]