The domain, range and field of a relation exist

From Maths
Revision as of 22:24, 4 March 2015 by Alec (Talk | contribs) (Created page with "It is important to know that the domain and range of a relation exist. ==Proof that domain exists== We are given a relation {{M|R}} and wish to show the set <mat...")

(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


[Expand]Set Theory
Retrieved from "http://www.maths.kisogo.com/index.php?title=The_domain,_range_and_field_of_a_relation_exist&oldid=155"