Словник

とするとき、これらの二進展開に対する挿入 z = 0. a 0 b 0 a 1 b 1 a 2 b 2 … {\displaystyle z=0.a_{0}b_{0}a_{1}b_{1}a_{2}b_{2}\ldots } は x, y が一意的に二進展開可能であるとき矛盾無く定義される。二進展開が一意でないような実数は可算無限個しかない。