Assertion: integer | /r/HasProperty | derived in this way
Facets:
value: from the counting numbers
type: OTHER
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).