
Conjecture For every composable funcoids
and
we have



See Algebraic General Topology for definitions of used concepts.
Now this book contains a proof of this statement.
Bibliography
*Victor Porton. Algebraic General Topology
* indicates original appearance(s) of problem.