Assertion: commutator | /r/HasProperty | ordered
Facets:
Source sentences:
text: Commutators are ordered so that x > y if x has weight greater than that of y, and for commutators of any fixed weight some total ordering is chosen.