The sum of the natural numbers a and b is found as follows: when the count reaches to a, b more numbers are counted. The number reached is the sum of a and b.
Inverse binary operation to addition is subtraction.
Addition properties are:
Identity element for addition, also known as the additive identity: