Monus

Truncating subtraction on natural numbers, or a generalization thereof

In mathematics, monus is an operator on certain commutative monoids that are not groups. A commutative monoid on which a monus operator is defined is called a commutative monoid with monus, or CMM. The monus operator may be denoted with the − symbol because the natural numbers are a CMM under subtraction; it is also denoted with the symbol to distinguish it from the standard subtraction operator.

This keyword could refer to multiple things. Here are some suggestions: