运算法则，别称为不定积分的性质，f(x)的原函数，存在微分的反函数。在微积分中，一个函数f的不定积分，或原函数，或反导数，是一个导数等于f的函数F，即F′=f。不定积分和定积分间的关系由微积分基本定理确定，其中F是f的不定积分。