This is an old revision of the document!
Injective function
Definition
$X,Y$ |
$ f\in \mathrm{Injective}(X,Y)$ |
$ f:X\to Y $ |
$ f(x)=f(y) \implies x=y $ |
Discussion
Predicates
$Y...\mathrm{countable}\equiv \mathrm{Injective}(\mathbb N,Y)\ne\emptyset$ |