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 [2014/03/21 11:11]
127.0.0.1 external edit
@@ Line 1: / Line 1: @@
 ===== Relation domain =====
-==== Definition ====
+==== Set ====
-| $ R $ |
+Let
+| @#55CCEE: context     | @#55CCEE: $ R $ |
+be a set with
+| $ c\in R $ |
+| @#55EE55: postulate   | @#55EE55: $ \forall c.\ \exists a,b.\ c=\langle a,b\rangle $ |
+Then
+| @#FFBB00: definiendum | @#FFBB00: $ x\in \mathrm{dom}(R) $ |
+if
+| @#55EE55: postulate   | @#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]]
+==== Parents ====
-==== Context ====
+=== Context ===
-Set constructor
-=== Parents ===
 [[Ordered pair]]