Corollary
Tag 0BC0, permanent. Cite it as [Bourbaki, Tag 0BC0].
General Topology, chapter I, § 11. Connectedness
Let be an open subset of a locally connected space , and let be a component of . Then the frontier of (relative to ) is contained in the frontier of .
For is open and closed in , hence a frontier point of (relative to ) cannot belong to , for it would also be a frontier point of relative to , and there is none.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.