Definition:Uniform Space

Definition
Let $\UU$ be a uniformity on a set $S$.

The quasiuniform space $\struct {\struct {S, \UU}, \tau}$ generated from $\UU$ is a uniform space.

Also see

 * Quasiuniformity Induces Topology for a proof that $\tau$ is actually a topology.