\begin{definition}[Definition:Separated Quasiuniformity]
Let $\UU$ be a quasiuniformity on a set $S$.
Then $\UU$ is '''separated''' {{iff}}:
:$\forall u, v \in \UU: u \cap v = \Delta_S$
That is, {{iff}} the intersection of all its entourages is the diagonal relation.
\end{definition}