A new conjecture about relationships of funcoids and reloids

Conjecture (\mathsf{RLD})_{\mathrm{in}} f = \bigsqcap^{\mathsf{RLD}} \mathrm{up}^{\Gamma (\mathrm{Src}\, f ; \mathrm{Dst}\, f)}\, f for every funcoid f.

(I use notation from this note and this draft article.)

One comment

Leave a Reply