A new conjecture about funcoids and reloids

I’ve forgotten this conjecture when wrote Funcoids and Reloids article:

Conjecture (\mathsf{RLD})_{\mathrm{in}} (g\circ f) = (\mathsf{RLD})_{\mathrm{in}} g\circ(\mathsf{RLD})_{\mathrm{in}} f for every composable funcoids f and g.

Now this important conjecture is in its place in the article.

I am going also to spend some time attempting to prove it.

One comment

Leave a Reply