Conjecture if is a reloid and , are multirelooids 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.