These terms actually mean something
Analytic - https://en.wikipedia.org/wiki/Analytic_function. A function is analytic on an open set if a convergent power series exists on that
Holomorphic - A function is holomorphic on an open set if it is complex differentiable on every point of the set/
That these two are the same for complex variables is remarkable and deserving of proof.
In analysis, the proof of limits being defined, convergence, etc, involves bounds. Carrying along proofs has been too burdensome
What about trying to package this info alongside functions
Cauchy sequences get closer and closer together
(nat -> R, eps -> N)
We can add and multiply convergent sequences. Can I take the partial sum over a convergent sequence to get a new convergent sequence? No. Of course not. I can finite difference a sequence, shift, I can’t invert.
Composition doesn’t even really make sense.
uniformly continuous functions can be applied to
There is a lattice of properties (I think). Differentiable implies continuity and so on.