Differences

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

--- relation_domain [2013/05/18 12:56]
127.0.0.1 external edit
+++ relation_domain [2013/08/23 21:52]
nikolaj
@@ Line 1: / Line 1: @@
 ===== Relation domain =====
 ==== Definition ====
-| $ R $ |
+Let
+| @#88DDEE: $ R $ |
+be a set with
+| $ c\in R $ |
+| @#55EE55: $ \forall c.\ \exists a,b.\ c=\langle a,b\rangle $ |
+Then
+| @#FFBB00: $ x\in \mathrm{dom}(R) $ |
+if
+| @#55EE55: $ \exists y.\ \langle x,y \rangle\in R $ |
-| $ \forall_f c\ \exists a,b\ (c=\langle a,b\rangle) $ |
+==== Discussion ====
-^ $ x\in \mathrm{dom}(R) $ ^
-^ $ \exists y\ (\langle x,y \rangle\in R) $ ^
-==== Ramifications ====
 === Reference ===
-Mizar files:[[http://markun.cs.shinshu-u.ac.jp/mirror/mizar/JFM/Vol1/relat_1.html|RELAT_1]]
 Wikipedia: [[http://en.wikipedia.org/wiki/Domain_of_a_function|Domain of a function]]
 ==== Context ====
-Set constructor
+=== Requirements ===
-=== Parents ===
 [[Ordered pair]]