Axiom:Axiom of Dependent Choice

Also known as
Some sources call this the , reflecting the infinitely many choices made.

This axiom can be abbreviated ADC or simply DC.

Also see

 * The is a weaker form of the, as shown in Axiom of Choice Implies Axiom of Dependent Choice.


 * The is also a stronger form of the, as shown in Axiom of Dependent Choice Implies Axiom of Countable Choice.


 * Dependent Choice (Fixed First Element)‎ shows that it is possible to choose any element of the set to be the first element of the sequence.