For the set of the sets there is a function that choose an element from every set. Relevant for the infinite set of sets.