Conjecture For every reloid and , :
- \item ; \item .
It's proved by me in this online article.
It's used notation from Algebraic General Topology draft book, modified by this note about new notation for a future version of this book.
Bibliography
* indicates original appearance(s) of problem.