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

  1. Pingback: A new function which is a counter-example to a conjecture found | Victor Porton's Math Blog

Leave a Reply