A brilliant idea about funcoids and reloids

In my book I introduced concepts of funcoids and reloids.

To every funcoid f it corresponds a reloid (\mathsf{RLD})_{\mathrm{in}}f. This allows to represent a funcoid as a reloid.

Today I had the thought that it would be good also to represent a reloid as a funcoid.

After not so long thinking I realized: It can be done!

Let f is a reloid. Then there is a funcoid g conforming to the formula \langle g\rangle x = f\circ x.

This is a very simple idea, but very much promising. It seems that using this idea would be able to understand deep properties of reloids.

It’s weird that I have not considered this simple idea earlier.


Leave a Reply