# Reexamined: Normal quasi-uniformity elegantly defined

Today, I have proved another formula for this (hopefully now correct):

Theorem An endoreloid $f$ is normal iff $\mathsf{Compl} (\mathsf{FCD}) f^{- 1} \circ \mathsf{CoCompl} (\mathsf{FCD}) f \sqsubseteq \mathsf{CoCompl} (\mathsf{FCD}) f \circ (\mathsf{FCD}) f.$

The above formula also applies to any quasi-uniformity $f$.

The proof of the theorem is currently available in this PDF file.

Read my free ebook to understand formulas like this.