Różniczka – tradycyjna nazwa nieskończenie małej zmiany danej zmiennej. Przykładowo, jeśli zmienna oznaczana jest literą to zmiana jej wartości często oznaczana jest lub, gdy zmiana powinna być mała, Różniczka reprezentuje podobną zmianę, lecz nieskończenie małą. Jest to niezmiernie użyteczne intuicyjnie; istnieje przy tym wiele sposobów formalizacji tego pojęcia.
Kluczową własnością różniczki jest to, że jeśli jest funkcją zmiennej tj. to różniczka funkcji jest związana z wzorem
gdzie oznacza pochodną względem Wzór ten podsumowuje intuicyjną ideę tego, że pochodna względem jest granicą ilorazu różnic gdy staje się nieskończenie małe.
Istnieje kilka możliwości formalizacji pojęcia różniczki: różniczki są przekształceniami liniowymi – podejście to leży u podstaw definicji pochodnej i pochodnej zewnętrznej w geometrii różniczkowej; różniczki jako elementy nilpotentne pierścienia przemiennego – to podejście jest popularne w geometrii algebraicznej; różniczki w gładkich modelach teorii mnogości – to podejście znane jest jako syntetyczna geometria różniczkowa (ang. synthetic differential geometry) bądź gładka analiza nieskończenie małych (ang.