![](/files/happy5.png)
Another conjecture about reloids and funcoids
Definition
for reloid
.
![$ \square f = \bigcap^{\mathsf{RLD}} \mathrm{up}^{\Gamma (\operatorname{Src} f ; \operatorname{Dst} f)} f $](/files/tex/233b3cef05580aee2ca00c357cfdbc67bacf126a.png)
![$ f $](/files/tex/43374150a8a220f67049937b9790b7d28eb17fb9.png)
Conjecture
for every funcoid
.
![$ (\mathsf{RLD})_{\Gamma} f = \square (\mathsf{RLD})_{\mathrm{in}} f $](/files/tex/004185ca69576a6b46e10d7d0fb46c76b6c53c43.png)
![$ f $](/files/tex/43374150a8a220f67049937b9790b7d28eb17fb9.png)
Note: it is known that (see below mentioned 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.