従属選択公理

3行要約

1. 選択公理の弱められた形の一つで、可算回の連続的な選択を保証する。
2. 「前の選択に依存して次の要素を選べる」という状況を数学的に許容する。
3. 実解析学における多くの重要な定理を証明するために十分な強度を持つ。