Первообразной функции f(x) на промежутке (a; b) называется такая функция F(x), что выполняется равенство для любого х из заданного промежутка.
Если принять во внимание тот факт, что производная от константы С равна нулю, то справедливо равенство . Таким образом, функция f(x) имеет множество первообразных F(x)+C, для произвольной константы С, причем эти первообразные отличаются друг от друга на произвольную постоянную величину.
Все множество первообразных функции f(x) называется неопределенным интегралом этой функции и обозначается .
Выражение называют подынтегральным выражением, а f(x) – подынтегральной функцией. Подынтегральное выражение представляет собой дифференциал функции f(x).