Proper subtraction

Proper subtraction is like regular subtraction except that it is closed under the natural numbers. This means that the result of proper subtraction can never be less than zero. If b > a then a - b < 0, but a -- b = 0. If b &le; a then a - b &ge; 0 and a -- b &ge; 0.