Preimage of Serial Relation is Domain

Theorem
Let $\RR$ be a serial relation on $S$.

Then the preimage of $\RR$ is $S$ (the domain of $\mathcal R$).