Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
partial_function [2013/12/29 22:20]
nikolaj
partial_function [2014/04/01 16:25]
nikolaj
Line 1: Line 1:
 ===== Partial function ===== ===== Partial function =====
 ==== Set ==== ==== Set ====
-Let +| @#55CCEE: context ​    | @#55CCEE: $X,Y$ | 
-| @#88DDEE: $X,Y$ | +| @#FFBB00: definiendum ​| @#FFBB00: $ f\in\text{PartialFunction}(X,​Y) $ | 
-be sets. Then +| @#55CCEE: context ​    | @#55CCEE: $ f \in \text{Rel}(X,​Y) $ | 
-| @#FFBB00: $ f\in\text{PartialFunction}(X,​Y) $ | +| @#55EE55: postulate ​  | @#55EE55: $ \langle x,​a\rangle\in f \land \langle x,​b\rangle\in f \Rightarrow a=b $ |
-if +
-| @#88DDEE: $ f \in \text{Rel}(X,​Y) $ | +
-| @#55EE55: $ \langle x,​a\rangle\in f \land \langle x,​b\rangle\in f \Rightarrow a=b $ |+
  
 ==== Discussion ==== ==== Discussion ====
Link to graph
Log In
Improvements of the human condition