Voor een willekeurige relatie f(x) geldt f(x+d)=f(x)+f'(x)d.
Stel dat de relatie een tweede onafhankelijk dimensie heeft: f(x,y) en we enkel de toename voor x beschouwen, dan geldt
f(x+d, y)=f(x, y)+f'(x, y)d
f(x, y+d)=f(x, y)+f'(x, y)d
Merk op dat de notatie f'(x, y) nu leidt tot verwarring, dus de afgeleide die nu een partiële afgeleide is wordt niet als f' genoteerd maar als δf/δx(x,y), versus δf/δy(x,y) dus:
f(x+d, y)=f(x, y)+δf/δx(x,y)d
f(x, y+d)=f(x, y)+δf/δy(x,y)d
Wanneer we nu een infinitesimaal toevoegen aan zowel x en y bekomen we in twee stappen
f(x+d1, y+d2)=f(x, y+d2)+δf/δx(x,y+d2)d1
en
f(x+d1, y+d2)=f(x, y)+δf/δy(x,y)d2 +δf/δx(x,y)d1 +δf2/δxδy(x,y)d1d2
Hierbij zal de laatste term nul zijn indien beide infinitesimalen orthogonaal zijn.