Today I proved the following conjecture:
If a reloid is both complete and co-complete it is discrete.
The proof was easily constructed by me shortly after I noticed an obvious but not noticed before proposition:
Proposition A reloid is complete iff there exists a function
such that
.
Note that a similar theorem holds for funcoids.
See the online article for details about funcoids and reloids.