and beyond. General binary operations that follow these patterns are studied in abstract algebra.

In computability theory, considering subtraction is not well-defined over natural numbers, operations between numbers are actually defined using "truncated subtraction" or monus.

Notation and terminology