Proposition 12

Tag 09NQ, permanent. Cite it as [Bourbaki, Tag 09NQ].

Integration, chapter IX, § 1. Premeasures and measures on a topological space

The function $\mu^*$ is an encumbrance on $T$ .

The properties $a), b), c)$ of Def. 1 of No. 1 are obvious. The proof of the property d) is identical to that of Th. 3 of Ch. IV, §1, No. 3, on taking into account Props. 4 and 5 a).

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

Cited by

Corollary, § 1

Cites

IV, §1, No. 3
Def. 1