Example 2
Tag 0AZD, permanent. Cite it as [Bourbaki, Tag 0AZD].
General Topology, chapter I, § 1. Open sets, neighbourhoods, closed sets
The set of bounded open intervals is by definition a base of the topology of the rational line (no. 2). \* Likewise, the set of bounded open intervals is a base of the topology of the real line. \*
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.