
Conjecture If
and
are composable reloids, then



See Algebraic General Topology for definitions of used concepts.
In the same book there is a proof.
Bibliography
*Victor Porton. Algebraic General Topology
* indicates original appearance(s) of problem.