
Conjecture
for every reloid
.


It's used notation from Algebraic General Topology draft book, modified by this note about new notation for a future version of this book.
It's proved by me in this online article.
Bibliography
* indicates original appearance(s) of problem.