Assertion: abelian group's property | /r/HasProperty | modeled on the group axioms
Facets:
Source sentences:
text: such that the following properties (modeled on the group axioms – more precisely, on the definition of a group used in universal algebra) are satisfied