Definition 8

Tag 03Q4, permanent. Cite it as [Bourbaki, Tag 03Q4].

Theory of Sets, chapter II, § 4. Union and intersection of a family of sets

Let $(\mathrm{X}_\iota)_{\iota \in \mathrm{I}}$ be a family of sets. The sum of this family is the union of the family of sets $(\mathrm{X}_\iota \times \{\iota\})_{\iota \in \mathrm{I}}$ .

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

Proposition 10, § 4
§ 2. Continuous functions
top-i-s2-prop-7 not in this corpus

Cites

Nothing.