About new theorems in in this my blog post:
I’ve simplified this theorem:
Theorem A reloid is complete iff
Theorem A reloid is complete iff for a complete funcoid .
For a proof see this note.
The next theorem:
Theorem A funcoid is complete iff
Theorem , what I proved long time ago.
So, I have removed this theorem from my writings.
Finally, I add the conjecture:
Conjecture A funcoid is complete iff for a complete reloid .