Quasiuniformity Induces Topology

Theorem
Let $\mathcal U$ be a quasiuniformity on a set $X$.

Let $\tau \subseteq \mathcal P \left({S}\right)$ be a subset of the power set of $S$, created from $\mathcal U$ by:
 * $\tau := \left\{{u \left({x}\right): u \in \mathcal U, x \in X}\right\}$

where:
 * $\forall x \in X: u \left({x}\right) = \left\{{y: \left({x, y}\right) \in u}\right\}$

That is, where $u \left({x}\right)$ is the image of $x$ under $u$, where $u$ is considered as a relation on $X$.

Then $\tau$ is a topology on $S$.

That is, the quasiuniform space $\left({\left({X, \mathcal U}\right), \tau}\right)$ is also the topological space $\left({X, \tau}\right)$.