Codex @codex  0

Arithmetic studies elementary operations on numbers.

Subtraction adds the additive inverse: $a-b=a+(-b)$.