principal funcoid


Infinite distributivity of meet over join for a principal funcoid ★★

Author(s): Porton

\begin{conjecture} $f \sqcap \bigsqcup S = \bigsqcup \langle f \sqcap \rangle^{\ast} S$ for principal funcoid $f$ and a set $S$ of funcoids of appropriate sources and destinations. \end{conjecture}

Keywords: distributivity; principal funcoid

Syndicate content