テューキーの補題
テューキーの補題から選択公理を導くことができる。 F {\displaystyle {\mathcal {F}}} を空でない集合の集合族とし、 B {\displaystyle {\mathcal {B}}} を F {\displaystyle {\mathcal {F}}} の部分集合上の選択関数になっているような関数全体の集合とする。選択関数の部分集合は元の選択関数の定義域を制限した選択関数であることなどから、 B {\displaystyle {\mathcal {B}}} はFinite characterを満たす。よってテューキーの補題より B {\displaystyle {\mathcal {B}}} には包含関係による極大元が存在する。極大性より、その定義域が F {\displaystyle {\mathcal {F}}} 全体になっていることがわかる。
逆に選択公理からテューキーの補題を導くには、ツォルンの補題を経由する。 F {\displaystyle {\mathcal {F}}} を空でない集合族でFinite characterを満たすものとする。 B {\displaystyle {\mathcal {B}}} を F {\displaystyle {\mathcal {F}}} の包含関係に関する任意の鎖とする。