Proposition 10
Tag 0BBX, permanent. Cite it as [Bourbaki, Tag 0BBX].
General Topology, chapter I, § 11. Connectedness
In a product space , the component of in is the product of the components of in the factors .
This product set is connected (no. 4, Proposition 8). Conversely, if is a connected subset of which contains , then is a connected set (no. 2, Proposition 4) which contains ; since , it follows that is contained in the product of the components of the .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.