Subtraction of two whole numbers always results in a whole number.
If any two whole numbers are added, we always get a whole number. Name this property.