Definition:Symmetric Entourage

Definition
Let $S$ be a set.

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

Let $u \in \UU$ be an entourage of $\UU$ such that:
 * $u = u^{-1}$

where $u^{-1}$ is the inverse of $u$.

Then $u$ is symmetric.

Also see

 * Definition:Symmetric Relation


 * Equivalence of Definitions of Symmetric Relation