http://www.openproblemgarden.org/op/join_of_completary_multifuncoids_may_be_not_completary Comments for "Join of completary multifuncoids may be not completary" en http://www.openproblemgarden.org/op/join_of_completary_multifuncoids_may_be_not_completary <table cellspacing="10"> <tr> <td> Author(s): <a href="/category/porton_victor">Porton</a>&nbsp;&nbsp; </td> <td align=right> Subject: <a href="/topology">Topology</a>&nbsp;&nbsp; </td> </tr> <tr> <td colspan=2> <table border=1 cellspacing="5"> <tr><td> <div class="envtheorem"><b>Conjecture</b>&nbsp;&nbsp; The formula <img class="teximage" src="/files/tex/625b80926628aca29fd8d6f04d55863ce0df4901.png" alt="$ f \sqcup^{\mathsf{\tmop{FCD}} \left( \mathfrak{A} \right)} g \in \mathsf{\tmop{cFCD}} \left( \mathfrak{A} \right) $" /> is not true in general for completary multifuncoids (even for multifuncoids on powersets) <img class="teximage" src="/files/tex/43374150a8a220f67049937b9790b7d28eb17fb9.png" alt="$ f $" /> and <img class="teximage" src="/files/tex/4239ee4145983e1d8ad375f0606cc7140bce36a3.png" alt="$ g $" /> of the same form <img class="teximage" src="/files/tex/702b76abd81b24daaf0e6bc2a191fb964b09d1b2.png" alt="$ \mathfrak{A} $" />. </div> </tr></td> </table> </td> </tr> </table> Porton, Victor Topology http://www.openproblemgarden.org/op/join_of_completary_multifuncoids_may_be_not_completary#comment Mon, 17 Sep 2012 16:32:20 +0200 porton 37711 at http://www.openproblemgarden.org