Assertion: real number | /r/CapableOf | comprise field
Facets:
value: with multiplication
type: OTHER
value: with division
type: OTHER
Source sentences:
text: The first says that real numbers comprise a field, with addition and multiplication as well as division by non-zero numbers, which can be totally ordered on a number line in a way compatible with addition and multiplication.