In this recent blog post I have formulated the conjecture:

Conjecture A funcoid $latex f$ is complete iff $latex f=(\mathsf{FCD}) g$ for a complete reloid $latex g$.

This conjecture has not been living long, I have quickly proved it in this note.

Leave a Reply

Your email address will not be published. Required fields are marked *