### Normal quasi-uniformity elegantly defined

Error in the proof of below theorem!! http://www.mathematics21.org/binaries/addons.pdf My earlier attempt to describe normal reloids (where the normality is taken from “Each regular paratopological group is completely regular” article, not from the customary normality of the induced topological space) failed. After a…

### About “Each regular paratopological group is completely regular” article

In this blog post I consider my attempt to rewrite the article “Each regular paratopological group is completely regular” by Taras Banakh, Alex Ravsky in a more abstract way using my theory of reloids and funcoids. The following is a general comment…

### Interior funcoid definition

Having a funcoid \$latex f\$ I defined what I call interior funcoid \$latex f^\circ\$. See this PDF file for a few equivalent definitions. Interior funcoid is a generalization of interior operator for a topological space. Interior funcoid is kinda dual funcoid. Note…

### A new easy theorem about pointfree funcoids

I have added the following easy to prove theorem to my general topology research book: Theorem If \$latex \mathfrak{A}\$ and \$latex \mathfrak{B}\$ are bounded posets, then \$latex \mathsf{pFCD}(\mathfrak{A}; \mathfrak{B})\$ is bounded.