Alternate definition of quasi-uniform and quasi-metric spaces
Reloid is a triple $latex {( A ; B ; F)}&fg=000000$ where $latex {A}&fg=000000$, $latex {B}&fg=000000$ are sets and $latex {F}&fg=000000$ is a filter on their cartesian product $latex {A \times B}&fg=000000$. Endoreloid is reloid with the same $latex {A}&fg=000000$ and $latex {B}&fg=000000$. Uniform space is essentially a special case of an endoreloid. The reverse […]