The functor maps the set to a list of elements (this is not clearly always possible, see Are all sets totally ordered ?), but there is no problem with uniqueness.
Igor Rivin
- 96.4k
- 11
- 153
- 366