Assertion: abelian group's element | /r/HasProperty | mapped
Facets:
Source sentences:
text: The counterpart to injective maps are surjective maps (every element of the target is mapped onto), such as the canonical map G → G / N.[y]