# Differences

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

 partial_function [2014/03/21 11:11]127.0.0.1 external edit partial_function [2014/04/01 16:25] (current)nikolaj Both sides previous revision Previous revision 2014/04/01 16:25 nikolaj 2014/03/21 11:11 external edit2013/12/29 22:20 nikolaj 2013/12/29 22:20 nikolaj 2013/12/29 22:20 nikolaj 2013/12/29 22:19 nikolaj 2013/12/29 22:19 nikolaj 2013/12/29 22:19 nikolaj 2013/12/29 22:18 nikolaj 2013/12/29 22:18 nikolaj 2013/12/29 22:18 nikolaj 2013/12/29 22:17 nikolaj 2013/12/29 22:16 nikolaj 2013/12/21 19:57 external edit2013/08/23 21:20 nikolaj 2013/08/23 21:19 nikolaj 2013/05/21 10:47 nikolaj 2013/05/18 12:56 external edit2013/05/17 21:27 nikolaj 2013/05/17 21:25 nikolaj created 2014/04/01 16:25 nikolaj 2014/03/21 11:11 external edit2013/12/29 22:20 nikolaj 2013/12/29 22:20 nikolaj 2013/12/29 22:20 nikolaj 2013/12/29 22:19 nikolaj 2013/12/29 22:19 nikolaj 2013/12/29 22:19 nikolaj 2013/12/29 22:18 nikolaj 2013/12/29 22:18 nikolaj 2013/12/29 22:18 nikolaj 2013/12/29 22:17 nikolaj 2013/12/29 22:16 nikolaj 2013/12/21 19:57 external edit2013/08/23 21:20 nikolaj 2013/08/23 21:19 nikolaj 2013/05/21 10:47 nikolaj 2013/05/18 12:56 external edit2013/05/17 21:27 nikolaj 2013/05/17 21:25 nikolaj created 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$ |