I found a counterexample to the following conjecture:
Conjecture for every binary relations
and
.
The counter-example is and
. I proved
(where
is the Frechet filter object).
The proof of this equality is presented in Funcoids and Reloids online article, the section Some counter-examples
.
I hope the above counter-example may probably serve also as a base for disproving some conjectures about relationships of funcoids and reloids.