It's some kind of formal analogue where you can't drop all terms that become infinitesimal, sort of like a formal power series compared to an actual power serie

It's some kind of formal analogue where you can't drop all terms that become infinitesimal, sort of like a formal power series compared to an actual power series. So something like an exterior derivative where d(df) is not defined to be zero and such terms must be kept.