Assertion: function's definition | /r/HasProperty | injective
Facets:
Source sentences:
text: Therefore, it follows from the definition that f is injective.