Let $\omega_1$ be the first uncountable ordinal, same as the set of all countable ordinals. Let $F$ be the set of all decreasing functions $f$ from $\omega_1$ minus singleton 0 into $\omega_1$, that is $f(\alpha) < \alpha$ for $0 < \alpha < \omega_1$. Define a partial order on F by $f \leq g$ if $f(\alpha) \leq g(\alpha)$ for all $\alpha < \omega_1$. Let $K$ be the subset of $F$, of functions with a finite range. Question: Is there an order-preserving homomorphism $h : F \to K$, i.e if $f \leq g$ then $h(f) \leq h(g)$, and with the additional property that $f \leq h(f)$ ?