Differences

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

Link to this comparison view

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