
Conjecture
for principal funcoid
and a set
of funcoids of appropriate sources and destinations.



It's used notation from Algebraic General Topology book
Bibliography
*Victor Porton. A blog post
* indicates original appearance(s) of problem.