For a, b and c to be integers a + (b + c) = (a + b) + c states the law of under addition of integers.