Mapping reflects Preordering

Theorem
Let $S$ and $T$ be sets.

Let $f: S \to T$ be a mapping.

Let ${\precsim} \subseteq T \times T$ be a preordering on $T$.

Let $\RR$ be the relation defined on $S$ by the rule:
 * $x \mathrel \RR y \iff \map f x \precsim \map f y$

Then $\RR$ is a preordering on $S$.

Reflexivity
Thus $\RR$ is reflexive.

Transitivity
Thus $\RR$ is transitive.

So, by definition, $\RR$ is a preordering.