http://openproblemgarden.org/op/outer_reloid_of_restricted_funcoid Comments for "Outer reloid of restricted funcoid" en http://openproblemgarden.org/op/outer_reloid_of_restricted_funcoid <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>Question</b>&nbsp;&nbsp; <img class="teximage" src="/files/tex/24a4dc2468c5502a9522738cf4ff249d4d99374b.png" alt="$ ( \mathsf{RLD})_{\mathrm{out}} (f \cap^{\mathsf{FCD}} ( \mathcal{A} \times^{\mathsf{FCD}} \mathcal{B})) = (( \mathsf{RLD})_{\mathrm{out}} f) \cap^{\mathsf{RLD}} ( \mathcal{A} \times^{\mathsf{RLD}} \mathcal{B}) $" /> for every filter objects <img class="teximage" src="/files/tex/3abde4ab7e21fe6fad91d0a03ad306c2c82659d9.png" alt="$ \mathcal{A} $" /> and <img class="teximage" src="/files/tex/cca7b496bd14e6acf10041305acbd75cd720f9b3.png" alt="$ \mathcal{B} $" /> and a funcoid <img class="teximage" src="/files/tex/afde5f764fb34cc3db4ef80023d22c445a0805b5.png" alt="$ f\in\mathsf{FCD}(\mathrm{Src}\,f; \mathrm{Dst}\,f) $" />? </div> </tr></td> </table> </td> </tr> </table> Porton, Victor direct product of filters outer reloid Topology http://openproblemgarden.org/op/outer_reloid_of_restricted_funcoid#comment Fri, 03 Dec 2010 16:10:45 +0100 porton 37282 at http://openproblemgarden.org