Proposition 17

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

— If $(A_n)$ is an increasing sequence of subsets of X, then $\mu^*(\bigcup_n A_n) = \sup_n \mu^*(A_n)$ .

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

Cited by

Nothing.

Nothing.