Axiom:Axiom of Dependent Choice

Right-Total Form
This axiom can be abbreviated ADC or simply DC.

Also see
This axiom is a weaker form of the axiom of choice, as shown in Axiom of Choice Implies Axiom of Dependent Choice.

This axiom is also a stronger form of the axiom of countable choice, as shown in Axiom of Dependent Choice Implies Axiom of Countable Choice.