Аксіома залежного вибору — одне з послаблень аксіоми вибору.
Означення Бінарне відношення на називається повним, якщо .
Аксіома стверджує: Для непорожньої множини] повного відношення на існує послідовність в така, що:
Використання Аксіома містить саме те твердження, що необхідне для існування послідовності побудованою трансфінітною індукцією зліченної довжини.
Еквівалентні твердження Теорема Бера про категорії для повних метричних просторів Теорема Льовенгейма — Сколема послабленої леми Цорна: якщо в частково впорядкованій множині всі ланцюги скінченні, то множина має максимальний елемент.
Джерела