Example
Tag 0B28, permanent. Cite it as [Bourbaki, Tag 0B28].
General Topology, chapter I, § 4. Product of topological spaces
\* The product of spaces identical with the real line is called real number space of dimensions; is also called the real plane (cf. Chapter VI, § 1). Likewise, starting from the rational line , we define the rational number space of dimensions (rational plane for ).
The topology of the space has as a base the set of all products of open intervals in , which are called open boxes of dimensions. The open boxes which contain a point form a fundamental system of neighbourhoods of this point. Likewise the products of closed intervals in are called closed boxes of dimensions. The closed boxes to which is interior also form a fundamental system of neighbourhoods of . There are analogous results for . \*
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.