**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.