# The domain, range and field of a relation exist

We are given a relation [ilmath]R[/ilmath] 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.