This is an old revision of the document!
Injective function
Set
| $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$ |
Parents
Requirements
