Remark 1

Tag 090G, permanent. Cite it as [Bourbaki, Tag 090G].

Integration, chapter V, § 2. Summable families of positive measures

It is immediate that, when the family $(\lambda_\alpha)_{\alpha \in A}$ is summable, its sum is the supremum in $\mathscr{M}_+(X)$ of the finite partial sums $\sum_{\alpha \in J} \lambda_\alpha$ , where J runs over the set of finite subsets of A.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Proposition 1, § 2

Cites

Nothing.