Conjecture Let is a family of multifuncoids such that each is of the form where is an index set for every and is a set for every . Let every for some multifuncoid of the form regarding the filtrator . Let is a graph-composition of (regarding some partition and external set ). Then there exist a multifuncoid of the form such that regarding the filtrator .
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.