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