Corollary
Tag 0BBP, permanent. Cite it as [Bourbaki, Tag 0BBP].
General Topology, chapter I, § 11. Connectedness
In a connected space , every non-empty set other than itself has at least one frontier point.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.