In this tutorial, we look at negative numbers and use them to define subtraction of two numbers.

We then introduce rules that can be used to simplify expressions involving negative numbers and subtraction (proofs are given for advanced students).