Definition 2
Tag 08SL, permanent. Cite it as [Bourbaki, Tag 08SL].
Integration, IV, p. 41, § 4. Integrable functions and sets
A subset of a locally compact space is said to be integrable with respect to a measure on (or, that it is *-integrable)* if the characteristic function of is integrable. The finite number is called the measure of .
For every integrable set , (No. 2, Prop. 1); for a set to be negligible, it is necessary and sufficient that it be of measure zero with respect to .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.