An Elegant Pairing Function [pdf]
szudzik.com
szudzik.com
For R x R, I would mix the bits of the two numbers
[a0 a1 a2 a3...]
[b0 b1 b2 b3...]
to [a0 b0 a1 b1 a2 b2 a3 b3...]
I am not sure that is a computable function for infinite-length bit sequences, though. Maybe none of those mapping functions are?