Proposition 6
Tag 08PD, permanent. Cite it as [Bourbaki, Tag 08PD].
Integration, chapter IV, § 1. Upper integral of a positive function
— If G₁ and G₂ are two open sets such that G₁ ⊂ G₂, then μ*(G₁) ≤ μ*(G₂). For, the relation G₁ ⊂ G₂ is equivalent to φG₁ ≤ φG₂.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.