Hello,

I'm not sure I grabbed the problem correctly...

Let's assume (a countable set, otherwise it makes no sense to write the product)

Let .

Then x can be written as a tuple :

, where for any

means that there exists such that

And will yield the -th coordinate of x, that is

So it's defined... ?