A proposition about complete funcoids and reloids

In this recent blog post I have formulated the conjecture:

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

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

Leave a Reply