I have come across a lot of cases where terms such as formal sum rather than simply sum is used, similarly in case of derivatives/infinite series/power series.
As I understand in case of series/sum, the term formal is used when the notion of convergence is not clear.
I would appreciate any precise definition or explanation of where formal is used. I also cannot get how it relates to derivatives. Also, where else is "formal" used?