Given a well-ordering of any set (provable from AC itself), a canonical choice function exists that ...