Corollary
Tag 0B16, permanent. Cite it as [Bourbaki, Tag 0B16].
General Topology, chapter I, § 3. Subspaces, quotient spaces
A subset of is dense in if and only if in (i.e. if and only if ).
It follows that if are three subsets of such that , and if is dense in , and is dense in , then is dense in (transitivity of density), for we have in .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.