![](/files/happy5.png)
Domain and image of inner reloid (Solved)
Conjecture
and
for every funcoid
.
![$ \ensuremath{\operatorname{dom}}( \mathsf{\ensuremath{\operatorname{RLD}}})_{\ensuremath{\operatorname{in}}} f =\ensuremath{\operatorname{dom}}f $](/files/tex/3112204f91b47153c49fe29bced190aeefa97d97.png)
![$ \ensuremath{\operatorname{im}}( \mathsf{\ensuremath{\operatorname{RLD}}})_{\ensuremath{\operatorname{in}}} f =\ensuremath{\operatorname{im}}f $](/files/tex/4c0a3dd6a352efd7f52f13c98f57b722078e6d0c.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.