![](/files/happy5.png)
Restricting a reloid to lattice Gamma before converting it into a funcoid (Solved)
Conjecture
for every reloid
.
![$ (\mathsf{FCD}) f = \bigcap^{\mathsf{FCD}} (\Gamma (A ; B) \cap \operatorname{GR} f) $](/files/tex/d9afe4920809a29a644f5bc594e40f3313a8d527.png)
![$ f \in \mathsf{RLD} (A ; B) $](/files/tex/90326a901389c8760f7fa928fff117636a958338.png)
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.