From ProofWiki
Jump to navigation Jump to search


Let $a - b$ denote the operation of subtraction on two objects $a$ and $b$.

Then the result $a - b$ is referred to as the difference of $a$ and $b$.

Note that the nature of $a$ and $b$ has deliberately been left unspecified.

They could be, for example, numbers, matrices or more complex expressions constructed from such elements.