Antiderivasjon er prosessen for å finne en antideriverte funksjon, også kalt en primitiv funksjon. En funksjon er en primitiv funksjon til dersom funksjonen er dens deriverte, det vil si dersom .