Demak, n – darajali ko‘phadning n – tartibli hosilasi o‘zgarmas son bo‘lib, (n+1)- tartibli hosilasidan boshlab yuqori tartibli hosilalarining barchasi nolga teng bo‘lar ekan.
ni olish mumkin. Bu Leybnis formulasi deb yuritiladi. Bu yerda nolinchi tartibli hosila funksiyaning o‘zi ekanligini eslash lozim.
Endi, yuqori tartibli differensial tushunchasini kiritamiz. Buning uchun funksiya differensialini uning birinchi tartibli differensiali argument orttirmasini o‘zgarmas deb qabul qilgan holda (n–1) – tartibli differensialning differensialini n-tartibli differensial deb ataymizva uning uchun dny , dnf(x) kabi belgilashlarni qo‘llaymiz.
Endi, yuqori tartibli differensial tushunchasini kiritamiz. Buning uchun funksiya differensialini uning birinchi tartibli differensiali argument orttirmasini o‘zgarmas deb qabul qilgan holda (n–1) – tartibli differensialning differensialini n-tartibli differensial deb ataymiz va uning uchun dny , dnf(x) kabi belgilashlarni qo‘llaymiz.