# Differences

This shows you the differences between two versions of the page.

 relation_domain [2014/03/21 11:11]127.0.0.1 external edit relation_domain [2014/07/11 20:38] (current)nikolaj Both sides previous revision Previous revision 2014/07/11 20:38 nikolaj 2014/03/21 11:11 external edit2013/08/23 21:52 nikolaj 2013/05/18 12:56 external edit2013/05/17 23:51 nikolaj 2013/05/17 21:29 nikolaj 2013/05/17 19:31 nikolaj 2013/05/17 19:31 nikolaj 2013/05/17 19:30 nikolaj 2013/05/17 19:30 nikolaj 2013/05/17 18:54 nikolaj 2013/05/15 23:51 external edit2013/05/15 20:06 nikolaj created 2014/07/11 20:38 nikolaj 2014/03/21 11:11 external edit2013/08/23 21:52 nikolaj 2013/05/18 12:56 external edit2013/05/17 23:51 nikolaj 2013/05/17 21:29 nikolaj 2013/05/17 19:31 nikolaj 2013/05/17 19:31 nikolaj 2013/05/17 19:30 nikolaj 2013/05/17 19:30 nikolaj 2013/05/17 18:54 nikolaj 2013/05/15 23:51 external edit2013/05/15 20:06 nikolaj created Line 1: Line 1: ===== Relation domain ===== ===== Relation domain ===== ==== Set ==== ==== Set ==== - Let | @#55CCEE: context ​    | @#55CCEE: $R$ | | @#55CCEE: context ​    | @#55CCEE: $R$ | - be a set with | $c\in R$ | | $c\in R$ | | @#55EE55: postulate ​  | @#55EE55: $\forall c.\ \exists a,b.\ c=\langle a,b\rangle$ | | @#55EE55: postulate ​  | @#55EE55: $\forall c.\ \exists a,b.\ c=\langle a,b\rangle$ | - Then | @#FFBB00: definiendum | @#FFBB00: $x\in \mathrm{dom}(R)$ | | @#FFBB00: definiendum | @#FFBB00: $x\in \mathrm{dom}(R)$ | - if | @#55EE55: postulate ​  | @#55EE55: $\exists y.\ \langle x,y \rangle\in R$ | | @#55EE55: postulate ​  | @#55EE55: $\exists y.\ \langle x,y \rangle\in R$ |