Real-number pairing by separated digits ($H:{\mathbb{R}}^2\hookrightarrow (0,1)$)

Map each real into $(0,1)$ by a fixed bijection, choose its canonical binary expansion, and alternate the two bit sequences as ternary digits $0$ and $2$. If two such outputs first differ at position $k$, the leading difference has size $2\cdot 3^{-k}$ and the remaining tail has size at most $3^{-k}$, so they are unequal. This gives an explicit injection pairing two reals. Iteration encodes every fixed finite real tuple without invoking ambiguous decimal expansions.

Map each real into $(0,1)$, choose its canonical binary expansion, and flatten the resulting countable array of bits using a bijection $j:{\mathbb{N}}^2\to \mathbb{N}$. Interpret these bits as ternary digits zero and one. At a first differing position, the leading difference exceeds the sum of all possible tail differences, so this is an injection from real sequences to a bounded real interval. The bijection $j(n,k)=(n+k-2)(n+k-1)/2+n$ lists successive finite diagonals.