Remark 2
Tag 09PT, permanent. Cite it as [Bourbaki, Tag 09PT].
Integration, IX, p. 45, § 3. Measures and additive set functions
Suppose that I is countably additive; let be an increasing sequence of Borel sets, and let . The sets , being pairwise disjoint, and their union being A, we have . Similarly, if is a decreasing sequence of Borel sets, and if , then : it suffices to apply the preceding to the sets .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.