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.