Assertion: abelian group's property | /r/ObjectUse | used as alternative definition
Facets:
value: sometimes
type: TEMPORAL
Source sentences:
text: The above property characterizes free groups up to isomorphism, and is sometimes used as an alternative definition.