Definition:Discrete Uniformity

From ProofWiki
Jump to navigation Jump to search

Definition

Let $S$ be a set.

The discrete uniformity on $S$ is the uniformity $\UU$ defined as:

$\UU := \set {u \subseteq S \times S: \Delta_S \subseteq u}$

that is, all subsets of the cartesian product on $S$ which contain the diagonal relation on $S$.


Hence from Relation Contains Diagonal Relation iff Reflexive it can be considered as the set of all reflexive relations on $S$.


Also see

  • Results about discrete uniformities can be found here.


Linguistic Note

Be careful with the word discrete.

A common homophone horror is to use the word discreet instead.

However, discreet means cautious or tactful, and describes somebody who is able to keep silent for political or delicate social reasons.


Sources