Corollary 1
Tag 08VK, permanent. Cite it as [Bourbaki, Tag 08VK].
Integration, IV, p. 72, § 5. Measurable functions and sets
For a set to be integrable, it is necessary and sufficient that it be measurable and have finite outer measure.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.