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.