# Monotone injection of an ordinal into $[0,1]$
Question: Is there a monotone injection $(\omega_1,<) \to ([0,1],<)$ ?