Example 3

Tag 03TU, permanent. Cite it as [Bourbaki, Tag 03TU].

Theory of Sets, chapter III, § 1. Order relations. Ordered sets

The set of topologies on a set A, ordered by the relation “ $\mathscr{T}$ is coarser than $\mathscr{T}'$ ” between $\mathscr{T}$ and $\mathscr{T}'$ , is a lattice. (General Topology, Chapter I, § 2).

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

*General Topology*, Chapter I, § 2