Assertion: subtraction | /r/CapableOf | play special role
Facets:
value: in the context of integers
type: OTHER
Source sentences:
text: In the context of integers, subtraction of one also plays a special role: for any integer a, the integer (a − 1) is the largest integer less than a, also known as the predecessor of a.