Existence and Uniqueness of Image of Relation

Theorem
Let $V$ be a basic universe.

Let $\RR \subseteq V \times V$ be a relation.

Then the image $\Img \RR$ of $\RR$ exists and is unique.