I found (a rather trivial) counter-example to one conjecture I considered in the past:

**Example** $latex (\mathsf{RLD})_{\mathrm{in}} (\mathsf{FCD}) f \neq f$ for some convex reloid $latex f$.

**Proof** Let $latex f = (=)$. Then $latex (\mathsf{FCD}) f = (=)$. Let $latex a$ is some nontrivial atomic filter object. Then $latex (\mathsf{RLD})_{\mathrm{in}} (\mathsf{FCD}) (=) \supseteq a \times^{\mathsf{FCD}} a \nsubseteq (=)$ and thus $latex (\mathsf{RLD})_{\mathrm{in}} (\mathsf{FCD}) (=) \nsubseteq (=)$.

Before I found the last counter-example, I was thinking that $latex (\mathsf{FCD})$ is an isomorphism from the set of of funcoids to the set of convex reloids. As this conjecture failed, we need an other way to characterize the set of reloids isomorphic to funcoids.

The first thing we need to check is whether $latex (\mathsf{RLD})_{\mathrm{in}}$ is an injection. Maybe this is a simple problem (or maybe it is hard) but I haven’t thought about it yet.

Oh, it is an injection. The proof is leaved for an exercise for a reader of my articles.