Assertion: abelian group's property | /r/HasProperty | transitive
Facets:
Source sentences:
text: The property of being characteristic or fully characteristic is transitive; if H is a (fully) characteristic subgroup of K, and K is a (fully) characteristic subgroup of G, then H is a (fully) characteristic subgroup of G.