Assertion: addition | /r/CapableOf | play special role
Facets:
value: within the context of integers
type: OTHER
Source sentences:
text: Within the context of integers, addition of one also plays a special role: for any integer a, the integer (a + 1) is the least integer greater than a, also known as the successor of a.