Definition 1

Tag 0BEE, permanent. Cite it as [Bourbaki, Tag 0BEE].

General Topology, chapter II, § 3. Complete spaces

If $X$ is a uniform space and if $V$ is an entourage of $X$ , a subset $A$ of $X$ is said to be $V$ -small if every pair of points of $A$ are $V$ -close (in other words, if $A \times A \subset V$ ).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.