The domain, range and field of a relation exist

From Maths
Revision as of 07:22, 27 April 2015 by Alec (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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 R and wish to show the set {x|∃y:(x,y)∈R} exists, to do this we require the axioms of schema and union.


TODO: do this



Retrieved from "http://www.maths.kisogo.com/index.php?title=The_domain,_range_and_field_of_a_relation_exist&oldid=689"