تابع F ( x ) {\displaystyle F(x)} یک پاد مشتق f ( x ) {\displaystyle f(x)} بر بازه I {\displaystyle I} است، هرگاه دو تابع فوق بر روی I {\displaystyle I} تعریف شده باشند و مشتق F ( x ) {\displaystyle F(x)} ، f ( x ) {\displaystyle f(x)} باشد. یعنی به ازای هر عضو بازه I {\displaystyle I} داشته باشیم:[۱]
d F ( x ) d x = F ′ ( x ) = f ( x ) {\displaystyle {\frac {dF(x)}{dx}}=F'(x)=f(x)}
