Definition:Symmetric Entourage

From ProofWiki
Jump to navigation Jump to search

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


Sources