Assertion: abelian group's subgroup | /r/CapableOf | satisfy the property
Facets:
Source sentences:
text: YES: This subgroup property satisfies the image condition, i.e., under any surjective homomorphism, the image of a subgroup satisfying the property also satisfies the property