Assertion: function | /r/HasProperty | injection
Facets:
value: always
type: TEMPORAL
Source sentences:
text: The function f is injective (or one-to-one, or is an injection) if f(a) ≠ f(b) for any two different elements a and b of X.
text: The codomain does not affect whether a function is an injection.
text: Functions with left inverses are always injections.