テューキーの補題

3行要約

1. 有限的性質を持つ集合族には極大元が存在するという集合論の命題。
2. ツォルンの補題や選択公理と同値であり、代数学などの証明で利用される。
3. 特にイデアルの存在証明など、代数的構造の解析において有用である。