📚 Recommended Mathematics Books

Topology (Munkres)  |  General Topology (Engelking)  |  Counterexamples in Topology  |  Rudin's Analysis

As an Amazon associate, I earn from qualifying purchases.

I’ve proved this conjecture (not a long standing conjecture, it took just one day to solve it) and found a stronger theorem than these propositions.

So my new theorem:

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

For a proof see this note.