
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.