Assertion: real number | /r/CapableOf | form ring
Facets:
value: with multiplication
type: OTHER
value: with addition
type: OTHER
Source sentences:
text: The real numbers form a ring, with addition and multiplication defined by