Proposition 5

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

The support of the restriction of a measure $\mu$ to an open set $U$ is the trace on $U$ of the support of $\mu$ .

The proposition is obvious from the definitions.

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

Cited by

Nothing.