8.2 Equivalent Formulations
The axiom of choice has many equivalent forms. Some of these forms speak about selecting elements from sets, some speak about ordering arbitrary sets, and some speak about finding maximal objects in partially ordered sets. Although these statements look different, they express the same underlying principle over the usual axioms of ZF set theory. The purpose of this section is to explain the most important equivalent formulations in detail. The...