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

## Proof that domain exists

We are given a relation [ilmath]R[/ilmath] and wish to show the set [math]\{x|\exists y:(x,y)\in R\}[/math] exists, to do this we require the axioms of schema and union.

TODO: do this