Assertion: rational number | /r/CapableOf | satisfy the closure property
Facets:
value: under multiplication
type: OTHER
value: under division
type: LOCATION
value: under addition
type: OTHER
value: under subtraction
type: OTHER
Source sentences:
text: Rational numbers satisfy the closure property under addition, subtraction, multiplication and division.