Infinite distributivity of meet over join for a principal funcoid
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.