Conjecture for any composable funcoids and .
The conjecture is true. See this online article for the proof.
See Algebraic General Topology for definitions of used concepts.
Bibliography
*Victor Porton. Algebraic General Topology
* indicates original appearance(s) of problem.