Decir que $L(B):=E\left(1_B(X)V\right)$ define una medida de probabilidad significa que $L(\emptyset)=0$ y que si $\left(B_n\right)_{n\geqslant 1}$ es una secuencia de conjuntos medibles mutuamente disjuntos, entonces $$\tag{*}L\left(\bigcup_{n\geqslant 1}B_n\right)=\sum_{n=1}^{+\infty}L\left(B_n\right).$$ Cuando la familia considerada es finita, esto se sigue de la linealidad de la esperanza. Para el caso general, definir $f_n:=\sum_{j=1}^n\mathbf 1_{B_j}(X)\cdot V$; de esta manera, $(f_n)_{n\geqslant 1}$ es una secuencia no decreciente y (*) se sigue del teorema de convergencia monótona.