Less than a hour ago I discovered a new mapping from funcoids to reloids:
Definition for every funcoid .
Now I am going to work on the following conjectures:
Conjecture , that is is the lower adjoint of .
Conjecture if is a principal funcoid.
Note that from the two last conjectures it follows that .