![](/files/happy5.png)
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)
See Algebraic General Topology for definitions of used concepts.
A counter-example for this conjecture is present in Funcoids and Reloids article.
Bibliography
*Victor Porton. Algebraic General Topology
* indicates original appearance(s) of problem.