Category:Discrete Uniformities

This category contains results about discrete uniformities in the context of Topology.

Let $S$ be a set.

The discrete uniformity on $S$ is the uniformity $\UU$ defined as:

$\UU := \set {u \subseteq S \times S: \Delta_S \subseteq u}$

that is, all subsets of the cartesian product on $S$ which contain the diagonal relation on $S$.