Properties of summation notation