Definition 7
Tag 03Q2, permanent. Cite it as [Bourbaki, Tag 03Q2].
Theory of Sets, chapter II, § 4. Union and intersection of a family of sets
A partition of a set E is a family of non-empty mutually disjoint subsets of E which covers E.
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.