The functor maps the set to *a* list of elements (this is not clearly always possible, see http://mathoverflow.net/questions/37272/are-all-sets-totally-ordered), but there is no problem with uniqueness.