Definition 12

Tag 0AZM, permanent. Cite it as [Bourbaki, Tag 0AZM].

General Topology, chapter I, § 1. Open sets, neighbourhoods, closed sets

A subset $A$ of a topological space $X$ is said to be dense in $X$ (or simply dense, if there is no ambiguity about $X$ ) if $\overline{A} = X$ , i.e. if every non-empty open set $U$ of $X$ meets $A$ .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.