Assertion: addition | /r/HasProperty | extended to larger sets
Facets:
value: progressively
type: MANNER
value: in set theory
type: OTHER
Source sentences:
text: In set theory, addition is then extended to progressively larger sets that include the natural numbers: the integers, the rational numbers, and the real numbers.