In my previous question, I asked about infinite-length formula in ZFC. But I am still confused over following:
Suppose you want to build a function from a set of sequences to a set that chooses $n$th element in each sequence in the set of sequences to form a new set with each chosen element as an element in the new set.
But how can I do this nicely in ZFC? Or is this impossible?