(Some authors include an extra condition that R is set-like, i.e., that the elements less than any given element form a set.)

Equivalently, assuming some choice, a relation is well-founded if and only if it contains no countable infinite descending chains: that is, there is no infinite sequence x0, x1, x2, ... of elements of X such that xn+1Rxn for every natural number n.