real analysis - Bijection between $[a,b)$ and $(a,b)$?

I know this question has been asked and answered before, but I am working on my own through an analysis textbook and just wanted to check if the following construction would be appropriate:

Define $a|b=(a+b)/2$ to be the midpoint of interval $(a,b)$ and $a|b^n=(...(a\underbrace{|b)|b)...|b)}_{n\text{ times}}$ (note that $a|b^0=a$). Then define the bijection $f:[a,b)\rightarrow(a,b)$ as follows:

$$f(x)=\begin{cases}a|b^{i+1}, & \text{if $x=a|b^i$, for $i=0,1,...$} \\x, & \text{otherwise} \end{cases}$$

So $a$ gets sent to the midpoint of $(a,b)$, which in turn gets sent to the midpoint of itself and $b$, and so on ad infinitum, while the rest of the elements stay fixed. I know this doesn't seem like something worthy of posting a question for, but I am working on my own and struggling with a lot of the exercises, so I am anxious for at least some of my solutions to be correct.