\begin{definition}[Definition:Compatible Quasiuniformities]
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)''' {{iff}} their topologies are equal.
That is, {{iff}} $\tau_1 = \tau_2$.
\end{definition}