Theorem $(\mathsf{FCD})$ and $(\mathsf{RLD})_{\mathrm{out}}$ form mutually inverse bijections between complete reloids and complete funcoids.