Definition:Difference (Natural Numbers)