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
I hope the above counter-example may probably serve also as a base for disproving some conjectures about relationships of funcoids and reloids.