Difference between revisions of "The domain, range and field of a relation exist"
From Maths
(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...") |
m |
||
| Line 6: | Line 6: | ||
{{Todo|do this}} | {{Todo|do this}} | ||
| − | {{Theorem|Set Theory}} | + | {{Theorem Of|Set Theory}} |
Latest revision as of 07:22, 27 April 2015
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
