Example
Tag 08TC, permanent. Cite it as [Bourbaki, Tag 08TC].
Integration, IV, p. 50, § 4. Integrable functions and sets
If is a measure on a locally compact space then the linear combinations, with real coefficients, of the characteristic functions of integrable sets form an algebra , because, for any two integrable sets , the function is integrable (No. 5, Prop. 7); it then follows from Defs. 2 and 3 that the set of integrable subsets of is a clan.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.