Injective function

Set

context $X,Y$
definiendum $ f\in \mathrm{Injective}(X,Y)$
context $ f:X\to Y $
postulate $ f(x)=f(y) \implies x=y $

Discussion

Parents

Context

Function