Domain and image of inner reloid (Solved)

Importance: Medium ✭✭
Author(s): Porton, Victor
Subject: Topology
Recomm. for undergrads: no
Posted by: porton
on: December 2nd, 2010
Solved by: Porton, Victor
Conjecture   $ \ensuremath{\operatorname{dom}}( \mathsf{\ensuremath{\operatorname{RLD}}})_{\ensuremath{\operatorname{in}}} f =\ensuremath{\operatorname{dom}}f $ and $ \ensuremath{\operatorname{im}}( \mathsf{\ensuremath{\operatorname{RLD}}})_{\ensuremath{\operatorname{in}}} f =\ensuremath{\operatorname{im}}f $ for every funcoid $ f $.

See Algebraic General Topology for definitions of used concepts.

Proved positively in this online atticle


*Victor Porton. Algebraic General Topology

* indicates original appearance(s) of problem.