# Differences

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

 injective_function [2014/02/08 02:42]nikolaj injective_function [2014/03/21 11:11] (current) Both sides previous revision Previous revision 2014/02/08 02:44 nikolaj 2014/02/08 02:42 nikolaj 2013/12/21 19:57 external edit2013/08/30 14:35 nikolaj 2013/05/20 13:31 nikolaj 2013/05/18 12:56 external edit2013/05/17 23:56 nikolaj 2013/05/17 22:09 nikolaj 2013/05/17 22:08 nikolaj 2013/05/17 22:08 nikolaj 2013/05/17 22:07 nikolaj created Next revision Previous revision 2014/02/08 02:44 nikolaj 2014/02/08 02:42 nikolaj 2013/12/21 19:57 external edit2013/08/30 14:35 nikolaj 2013/05/20 13:31 nikolaj 2013/05/18 12:56 external edit2013/05/17 23:56 nikolaj 2013/05/17 22:09 nikolaj 2013/05/17 22:08 nikolaj 2013/05/17 22:08 nikolaj 2013/05/17 22:07 nikolaj created Line 1: Line 1: ===== Injective function ===== ===== Injective function ===== ==== Set ==== ==== Set ==== - | @#88DDEE: $X,Y$ | + | @#55CCEE: context ​    | @#55CCEE: $X,Y$ | - | @#FFBB00: $f\in \mathrm{Injective}(X,​Y)$ | + | @#FFBB00: definiendum ​| @#FFBB00: $f\in \mathrm{Injective}(X,​Y)$ | - | @#88DDEE: $f:X\to Y$ | + | @#55CCEE: context ​    | @#55CCEE: $f:X\to Y$ | - | @#55EE55: $f(x)=f(y) \implies x=y$ | + | @#55EE55: postulate ​  | @#55EE55: $f(x)=f(y) \implies x=y$ | ==== Discussion ==== ==== Discussion ==== - === Predicates === - | @#EEEE55: $Y$ ...countably infinite $\equiv (\mathrm{Injective}(\mathbb N,​Y)\ne\emptyset)$ | - | @#EEEE55: $Y$ ... countable $\equiv$ ($Y$ ...finite) $\lor$ ($Y$ ...countably infinite) | ==== Parents ==== ==== Parents ==== - === Requirements ​=== + === Context ​=== [[Function]] [[Function]]