I’ve proved this conjecture (not a long standing conjecture, it took just one day to solve it) and found a stronger theorem than these propositions.
So my new theorem:
Theorem and
form mutually inverse bijections between complete reloids and complete funcoids.
For a proof see this note.