Proposition 10

Tag 08PK, permanent. Cite it as [Bourbaki, Tag 08PK].

— If f and g are two numerical functions $\geqslant 0$ defined on X such that $f \leqslant g$ , then $\mu^*(f) \leqslant \mu^*(g)$ .

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

Cited by

Nothing.

Nothing.