About new theorems in in this my blog post:
I’ve simplified this theorem:
Theorem A reloid is complete iff
.
into
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
.
collapses into
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
.
One comment