Definition:Separated Quasiuniformity

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\UU$ be a quasiuniformity on a set $S$.


Then $\UU$ is separated if and only if:

$\forall u, v \in \UU: u \cap v = \Delta_S$

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


Sources