The domain, range and field of a relation exist

From Maths
Jump to: navigation, search

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