The domain, range and field of a relation exist

It is important to know that the domain and range of a relation exist.

Proof that domain exists

We are given a relation $R$ and wish to show the set

$$\{x|\exists y:(x,y)\in R\}$$ exists, to do this we require the axioms of schema and union.

---

TODO: do this

---