Properties of sigma notation