Countable sum of measures is a measure
Not absolute convergence, the sum can be infinite. But all terms are non-negative, hence we can change the order of summation. Fitting to the theme, we can appeal to the monotone convergence theorem for the counting measure on $\mathbb{N}$ for the justification.