In mathematics, the axiom of dependent choice is a weak form of the axiom of choice which is still sufficient to develop most of real analysis.

The axiom can be stated as follows: For any nonempty set X and any entire binary relation R on X, there is a sequence (x_n) in X such that x_nRx_n+1 for each n in N. (Here an entire binary relation on X is one such that for each a in X there is a b in X such that aRb.) Note that even without such an axiom we could form the first n terms of such a sequence, for any natural number n; the axiom of dependent choice merely says that we can form a whole sequence this way, which is intuitively obvious.

See also: axiom of countable choice