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