Remark
Tag 0BE0, permanent. Cite it as [Bourbaki, Tag 0BE0].
General Topology, chapter II, § 2. Uniformly continuous functions
A family of uniformities on also has a greatest lower bound in the ordered set of all uniformities on , namely the least upper bound of the set of all uniformities on which are coarser than each of the (such uniformities exist, since the set of all uniformities on has a least element). But (supposing not empty) the filter of entourages of this uniformity is not necessarily the intersection of the filters of entourages of the , because this latter filter need not satisfy axiom (Exercise 4).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.