すいません。整理というか調べればいいんですけど。Rの定義はじゃ何かなという話です。

DからRへのいま考えてる小数表現による射があればいいかと思って。これは全射だけど単射にはならないはず。

でもこの射はそれでも十分にRの要素を区別するはずですよね。たとえば全部の要素を同じところに移すわけじゃない。というのを潰れないといいました。