Assertion: abelian group's element | /r/HasProperty | a of a linearly ordered group
Facets:
Source sentences:
text: Elements of a linearly ordered group satisfy trichotomy: every element a of a linearly ordered group G is either positive (a ∈ G + ), negative (−a ∈ G + ), or zero (a = 0).