![](/files/happy5.png)
Domain and image for Gamma-reloid (Solved)
Conjecture
and
for every funcoid
.
![$ \ensuremath{\operatorname{dom}}( \mathsf{\ensuremath{\operatorname{RLD}}})_{\ensuremath{\operatorname{\Gamma}}} f =\ensuremath{\operatorname{dom}}f $](/files/tex/d416898e77437a29900b6b26aa526eadba9180cd.png)
![$ \ensuremath{\operatorname{im}}( \mathsf{\ensuremath{\operatorname{RLD}}})_{\ensuremath{\operatorname{\Gamma}}} f =\ensuremath{\operatorname{im}}f $](/files/tex/a0a1e6c53bad702df9fd1baafe8caf75d7480c14.png)
![$ f $](/files/tex/43374150a8a220f67049937b9790b7d28eb17fb9.png)
See Algebraic General Topology for definitions of used concepts.
Proved positively in this online atticle
Bibliography
*Victor Porton. Algebraic General Topology
* indicates original appearance(s) of problem.