![](/files/happy5.png)
outer reloid
Outer reloid of restricted funcoid ★★
Author(s): Porton
Question
for every filter objects
and
and a funcoid
?
![$ ( \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}) $](/files/tex/24a4dc2468c5502a9522738cf4ff249d4d99374b.png)
![$ \mathcal{A} $](/files/tex/3abde4ab7e21fe6fad91d0a03ad306c2c82659d9.png)
![$ \mathcal{B} $](/files/tex/cca7b496bd14e6acf10041305acbd75cd720f9b3.png)
![$ f\in\mathsf{FCD}(\mathrm{Src}\,f; \mathrm{Dst}\,f) $](/files/tex/afde5f764fb34cc3db4ef80023d22c445a0805b5.png)
Keywords: direct product of filters; outer reloid
Outer reloid of direct product of filters ★★
Author(s): Porton
Question
for every f.o.
,
?
![$ ( \mathsf{\tmop{RLD}})_{\tmop{out}} ( \mathcal{A} \times^{\mathsf{\tmop{FCD}}} \mathcal{B}) = \mathcal{A} \times^{\mathsf{\tmop{RLD}}} \mathcal{B} $](/files/tex/167a9e622aabae06c6c07f9e889a37d3d269b0f2.png)
![$ \mathcal{A} $](/files/tex/3abde4ab7e21fe6fad91d0a03ad306c2c82659d9.png)
![$ \mathcal{B} $](/files/tex/cca7b496bd14e6acf10041305acbd75cd720f9b3.png)
Keywords: direct product of filters; outer reloid
![Syndicate content Syndicate content](/misc/feed.png)