Errors in Funcoids and Reloids corrected

I corrected some errors in “Funcoids and Reloids” online draft. The main error was messing \subseteq and \supseteq in the theorem about continuing a function defined on atomic filter objects till \langle f\rangle for a funcoid f (currently the Theorem 54 but theorem numbering will be changed in the future). I also corrected a little error in a proof.

Leave a Reply