Example
Tag 0B67, permanent. Cite it as [Bourbaki, Tag 0B67].
General Topology, chapter I, § 8. Hausdorff spaces and regular spaces
Any discrete space is Hausdorff. The rational line is Hausdorff, for if are two rational numbers such that then there is a rational number such that , and the neighbourhoods ] of and ] of do not intersect.
A set having at least two points and carrying the coarsest topology (§ 2, no. 2) is not a Hausdorff space.
Let be a mapping of a set into a Hausdorff space ; then it follows immediately from Proposition 1 that can have at most one limit with respect to a filter on , and that if has as a limit with respect to , then is the only cluster point of with respect to .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.