2進小数を対応させてXから[0,1]⊆Rへの全単射を作るくらいでいいんじゃないの
どこまで戻るのか知らんけど