Axiom of Choice Zorn’s Lemma Well-ordering Principle Proof by Zorn’s Lemma by Well-ordering Principle : Let be a set of nonempty sets Fix a well-ordering of . Define by Then is a choice function for .