Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 24 / 1 / a / i

A strict partial order is a well-founded relation when every nonempty subset $Y\subseteq P$ has a minimal member:In ZFC this is equivalent to the absence of an infinite descending sequence $p_0{>}_P{p}_1{>}_P\cdots$. A descending sequence violates the minimal-member property; conversely, repeatedly choosing a predecessor from a subset with no minimal member constructs such a sequence using the axiom of choice.