If $a$ and $b$ are integers, then $a+b$ is also an integer. This is true by which of the following properties?