A controversial axiom used in set theory that allows the selection of an element from each set in a collection.