Axiom:Quasiuniformity Axioms

Definition
Let $S$ be a set.

The quasiuniformity axioms are the conditions on a set of subsets $\mathcal U$ of the cartesian product $S \times S$ which are satisfied for all elements of $\mathcal U$ in order to make $\mathcal U$ a quasiuniformity:

where:
 * $\Delta_S$ is the diagonal relation on $S$, that is: $\Delta_S = \left\{{\left({x, x}\right): x \in S}\right\}$


 * $\circ$ is defined as:
 * $u \circ v := \left\{{\left({x, z}\right): \exists y \in S: \left({x, y}\right) \in v, \left({y, z}\right) \in v}\right\}$

Also see

 * Definition:Uniformity Axioms