http://www.openproblemgarden.org/op/sub_elements_of_reloidal_products Comments for "Sub-elements of reloidal products" en http://www.openproblemgarden.org/op/sub_elements_of_reloidal_products <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; <img class="teximage" src="/files/tex/407dd578ebeb93eb6380c9b658db9188049fe6d2.png" alt="$ f \sqsubseteq \prod^{\mathsf{\tmop{RLD}}} a \Leftrightarrow \forall i \in \operatorname{arity} f : \Pr^{\mathsf{\tmop{RLD}}}_i f \sqsubseteq a_i $" /> for every multireloid <img class="teximage" src="/files/tex/43374150a8a220f67049937b9790b7d28eb17fb9.png" alt="$ f $" /> and <img class="teximage" src="/files/tex/76e2a1a3a43667294b5e3e1eba33cd8e8ab33144.png" alt="$ a_i \in \mathfrak{F} \left( \left( \operatorname{form} f \right)_i \right) $" /> for every <img class="teximage" src="/files/tex/69cd0909603a9a63577132bd79842f7187837a13.png" alt="$ i \in \operatorname{arity} f $" />. </div> </tr></td> </table> </td> </tr> </table> Porton, Victor Topology http://www.openproblemgarden.org/op/sub_elements_of_reloidal_products#comment Thu, 13 Sep 2012 19:08:28 +0200 porton 37692 at http://www.openproblemgarden.org