Example

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

Integration, chapter IV, § 2. Negligible functions and sets

— Let $\mu$ be Lebesgue measure on $\mathbf{R}$ . Every set $\{x_0\}$ reduced to a point is negligible (cf. § 1, No. 3, Remark 1). It follows that every countable subset of $\mathbf{R}$ is negligible for Lebesgue measure. The converse of this proposition is incorrect (§ 4, Exer. 4 b)).

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. 3