Assertion: real number | /r/CapableOf | form ordered field
Facets:
Source sentences:
text: One can prove that the real numbers form an ordered field and that they satisfy the Dedekind completeness property (also known as the least upper bound property ):
text: Also, the real numbers form an ordered field, in which sums and products of positive numbers are also positive.