**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.