There are some things from algebra: There are products and sums. There are Kronecker symbols and second quantized operators. That's it!
However, it will turn out to be useful to define an additional object "Term".