Existence and Uniqueness of Domain of Relation

Theorem
Let $V$ be a basic universe.

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

Then the domain $\Dom \RR$ of $\RR$ exists and is unique.