**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.