I have to provide a proof that a halfopen line $L_a:={𝑥 ∈ ℝ:x > a}$ is uncountable.
I have used Schröder-Bernstein-Cantor and tried to show that an injection exists between $L_a$ and $ℝ$ an injection between $ℝ$ and $L_a$ to conclude that a bijective function exists between $ℝ$ and $L_a$ to prove that $L_a$ is uncountable.
I chose the following two functions:
$f:L_a \rightarrow ℝ:x \rightarrow x$ is injective
$g:ℝ \rightarrow L_a:x \rightarrow a+e^x$ is injective
It follows that a bijection exists between both sets, so $L_a$ is uncountable.
EDIT: corrected use of SBC, it should now work.
Thanks for your feedback.