Abstract
We introduce a formalism to analyze partially defined functions between ordered sets. We show that our construction provides a uniform and conceptual approach to all the main definitions encountered in elementary real analysis including Dedekind cuts, limits and continuity.
Citation
Marco Aldi. Alexander McCleary. "Darboux calculus." Involve 12 (3) 361 - 380, 2019. https://doi.org/10.2140/involve.2019.12.361
Information