Assertion: real number's property | /r/HasProperty | square
Facets:
Source sentences:
text: The property "every non-negative real number is a square" has been generalized to the notion of a real closed field, which is an ordered field such that every non-negative element is a square and every polynomial of odd degree has a root.