Remark 1
Tag 09PS, permanent. Cite it as [Bourbaki, Tag 09PS].
Integration, IX, p. 45, § 3. Measures and additive set functions
The condition a) clearly implies that I is an increasing mapping of (ordered by inclusion) into .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.