Definition:Compatible Quasiuniformities

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\UU_1$ and $\UU_2$ be quasiuniformities on a set $S$.

Let $\struct {\struct {S, \UU_1}, \tau_1}$ and $\struct {\struct {S, \UU_2}, \tau_2}$ be the quasiuniform spaces generated by $\UU_1$ and $\UU_2$.


Then $\UU_1$ and $\UU_2$ are compatible (with each other) if and only if their topologies are equal.

That is, if and only if $\tau_1 = \tau_2$.


Sources