![](/files/happy5.png)
principal funcoid
Infinite distributivity of meet over join for a principal funcoid ★★
Author(s): Porton
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)
Keywords: distributivity; principal funcoid
![Syndicate content Syndicate content](/misc/feed.png)