Definition:Separated Quasiuniformity

Definition
Let $\mathcal U$ be a quasiuniformity on a set $S$.

Then $\mathcal U$ is separated iff:
 * $\forall u, v \in \mathcal U: u \cap v = \Delta_S$

That is, if the intersection of all its entourages is the diagonal relation.