Example

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

Integration, IV, p. 43, § 4. Integrable functions and sets

For Lebesgue measure $\mu$ on $\mathbf{R}$ , it follows from Prop. 10 that every bounded open interval $[a, b[$ is integrable and has measure $b - a$ (\§1, No. 2, Prop. 9). Since every set reducing to a point is negligible for Lebesgue measure, it follows that all of the intervals with endpoints $a$ and $b$ have the same measure $b - a$ .

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

Cited by

Nothing.

Cites

§1, No. 2, Prop. 9
Prop. 10