Приращением функции в точке , соответствующим приращению аргумента называется выражение .
Производной 1-ого порядка функции в точке называется конечный предел .
Функция, имеющая производную в данной точке, называется дифференцируемой в этой точке. Необходимым условием дифференцируемости в точке является непрерывность функции в данной точке.
Любая элементарная функция дифференцируема во всякой внутренней точке естественной области определения функции , в которой аналитическое выражение её производной имеет смысл. Производная , рассматриваемая на множестве тех точек , где она существует, сама является функцией. Операция нахождения производной называется также дифференцированием функции .