Differences

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

--- image [2013/05/20 00:01]
nikolaj
+++ image [2013/09/06 23:13]
nikolaj
@@ Line 1: / Line 1: @@
 ===== Image =====
 ==== Definition ====
-| $ R $ |
+| @#88DDEE: $ R\in \text{Rel}(X,Y) $ |
-| $ \forall_R c\ \exists a,b\ (c=\langle a,b\rangle) $ |
+| @#55EE55: $ y\in \mathrm{im}(R) $ |
->This is quite general. Might be that we can just restrict this to actual relations (the "smaller" set constructor)
+| @#55EE55: $ \exists x\ (\langle x,y \rangle \in R) $ |
-^ $ y\in \mathrm{im}(R) $ ^
-^ $ \exists x\ (\langle x,y \rangle \in R) $ ^
 ==== Ramifications ====
@@ Line 18: / Line 14: @@
 Wikipedia: [[http://en.wikipedia.org/wiki/Image_%28mathematics%29|Image]]
-==== Context ====
+==== Parents ====
-Set constructor
+=== Requirements ===
-=== Parents ===
+[[Binary relation]]
-[[Ordered pair]]