Property 1 If a and b are two numbers such that `a > b or a = b` then `a - b` is a whole number. If a < b` then subtraction `a - b` is not possible in whole numbers.