# A bijection from the set of funcoids to a certain subset of reloids

I have proved that there is a bijection from the set $\mathsf{FCD}(A;B)$ to a certain subset of $\mathsf{RLD}(A;B)$ (which I call funcoidal reloids).

See section (currently numbered 8.4) “Funcoidal reloids” in the preprint of my book.