Assertion: set's number | /r/HasProperty | given on next page
Facets:
Source sentences:
text: This leads to the set definition for subtraction of whole numbers given on the next page.