Assertion: real number | /r/HasProperty | closed under addition
Facets:
Source sentences:
text: Real numbers are closed under addition, subtraction, and multiplication.