User blog comment:PsiCubed2/How to make Deedlit's Mahlo-level notation more intuitive/@comment-27513631-20180807203627/@comment-27513631-20180811112825

Well, the definition for continuous functions is least fixed point. Sure, you could extend it as a limit to discontinuous functions, but you could also extend it as a lfp - given that you haven't defined what "..." means, and that afaict it's usually only used for normal functions, where the two definitions coincide, I'd say it's a reasonable interpretation.