Another (easy) new theorem

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 (\mathsf{FCD}) and (\mathsf{RLD})_{\mathrm{out}} form mutually inverse bijections between complete reloids and complete funcoids.

For a proof see this note.

Leave a Reply