Assertion: kernel | /r/HasProperty | trivial
Facets:
Source sentences:
text: A map is injective if and only if its kernel is trivial, and a map is surjective if and only if its cokernel is trivial, or in other words, if W = im(T).