Definition 9
Tag 09NH, permanent. Cite it as [Bourbaki, Tag 09NH].
Integration, chapter IX, § 1. Premeasures and measures on a topological space
Let be a family of measures on T. Let A be the set of finite subsets of I; for every let . If the family admits a supremum in , the family is said to be summable, is called the sum of the family , and one writes .
This definition extends the definition of Ch. V, §2, No. 1.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.