Earlier I’ve conceived an algebraic formula to characterize whether a quasi-uniform space is normal (where *normality* is defined in Taras Banakh sense, not in the sense of underlying topology being normal). That my formula was erroneous.

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

**Theorem** An endoreloid is normal iff

The above formula also applies to any quasi-uniformity .

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

Read my free ebook to understand formulas like this.

### Like this:

Like Loading...

*Related*

From this formula it also follows that normality is determined by the underlying proximity and does not need particular uniformity.

Oh well, wrong. See my manuscript instead.