Understanding well-ordering properties of sets, and their application in proofs of mathematical induction.