Assertion: integer | /r/HasSubevent | a set of numbers
Facets:
Source sentences:
text: In this way, every integer can be derived from the counting numbers, resulting in a set of numbers closed under the operation of subtraction (see group theory).