This is an old revision of the document!
Relation domain
Definition
Let
$ R $ |
be a set with
$ c\in R $ |
$ \forall c.\ \exists a,b.\ c=\langle a,b\rangle $ |
Then
$ x\in \mathrm{dom}(R) $ |
if
$ \exists y.\ \langle x,y \rangle\in R $ |
Discussion
Reference
Wikipedia: Domain of a function