Assertion: set's property | /r/HasProperty | given in preparation
Facets:
Source sentences:
text: The following set properties are given here in preparation for the properties for addition and multiplication in arithmetic.