Definition:Natural Number Subtraction