Formal (series/sum/derivative...) 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?

The formal power series over a commutative ring are basically just the sequences in that ring, with addition and multiplication defined to match. So the formal power series $\sum_{n\in\Bbb N}a_n x^n$ corresponds to the sequence $(a_n)_{n\in \Bbb N}$. There are rules for addition, subtraction, and multiplication of formal power series, specifically:
$$\sum_{n\in \Bbb N}a_n x^n + \sum_{n\in N}b_n x^n := \sum_{n\in\Bbb N}(a_n+b_n)x^n,$$
$$-\sum_{n\in\Bbb N}a_n x^n = \sum_{n\in\Bbb N}(-a_n)x^n,$$
and
$$\Bigl(\sum_{n\in \Bbb N}a_nx^n\Bigr)\Bigl(\sum_{m\in\Bbb N}b_nx^m\Bigr):=\sum_{n\in \Bbb N}\Bigl(\sum_{j+k=n}a_jb_k\Bigr)x^n.$$
