# 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.