The last axiom, commonly known as the axiom of choice, is presented here as a property about well-orders, as in . For any set , there exists a binary relation which well-orders . This means is a linear order on such that every nonempty subset of has a least element under the order .
The last axiom, commonly known as the axiom of choice, is presented here as a property about well-orders as in . For any set , there exists a binary relation which well-orders . This means is a linear order on such that every nonempty subset of has a least element under the order .