Star composition with join of multifuncoids
Conjecture if is a pointfree funcoid and , are multifuncoids of the same form, composable with .
See Algebraic General Topology, especially the theory of multifuncoids for definitions of used concepts.
Bibliography
*Victor Porton. Algebraic General Topology
* indicates original appearance(s) of problem.