Аксіома залежного вибору — одне з послаблень аксіоми вибору.

Означення
Бінарне відношення  на  називається повним, якщо .

Аксіома стверджує: 
Для непорожньої множини  повного відношення   на  існує послідовність  в  така, що: 
:

Використання
Аксіома містить саме те твердження, що необхідне для існування послідовності побудованою трансфінітною індукцією зліченної довжини.

Еквівалентні твердження
* Теорема Бера про категорії для повних метричних просторів
* Теорема Льовенгейма — Сколема
* послабленої леми Цорна: якщо в частково впорядкованій множині всі ланцюги скінченні, то множина має максимальний елемент.

Джерела
* 



