[Y_Y]

I'm claiming a "pairing function" between single reals and pairs of reals. They have respective cardinalities 2^N0 and 2*2^N0=2^N0 where N0<2^N0 is the cardinality of the naturals.

[dahart]

You're right. I was wrong. I found an explanation of how to make interleaving method work. https://math.stackexchange.com/a/183383