Assertion: order | /r/CapableOf | satisfy following properties
Facets:
value: for c
type: TRANSITIVE-OBJECT
Source sentences:
text: A field (F, +, ⋅) together with a (strict) total order < on F is an ordered field if the order satisfies the following properties for all a, b and c in F: