Assertion: abelian group's element | /r/CapableOf | have at most one element
Facets:
Source sentences:
text: Sub- and quotient groups are related in the following way: a subset H of G can be seen as an injective map H → G, i.e., any element of the target has at most one element that maps to it.