![](/files/happy5.png)
Infinite distributivity of meet over join for a principal funcoid
Conjecture
for principal funcoid
and a set
of funcoids of appropriate sources and destinations.
![$ f \sqcap \bigsqcup S = \bigsqcup \langle f \sqcap \rangle^{\ast} S $](/files/tex/0a7e06f88b6cd4667f7fa4b6f670b57cfa795155.png)
![$ f $](/files/tex/43374150a8a220f67049937b9790b7d28eb17fb9.png)
![$ S $](/files/tex/d2b76a0ee5465d3e3ecc846c8e3d632edd8b2bbf.png)
It's used notation from Algebraic General Topology book
Bibliography
*Victor Porton. A blog post
* indicates original appearance(s) of problem.