In a handout I've found this definition of contractions:
Let $(X, d_X)$ and $(Y, d_Y)$ be metric spaces. A map $\varphi : X \to Y$ is called a contraction if there exists a positive number $c < 1$ such that $$ d_Y(\varphi(x), \varphi(y)) ≤ cd_X(x, y)\qquad\text{ for all }x, y \in X. $$
However, other sources always say that a contraction must map from a metric space into itself - not possibly into another one as happens here. So is this definition incorrect?
Here they call it a 'contractive mapping', which I think makes no difference with the word 'contraction'. Well, you do not necessarily have fixed points.