Sei gegeben. Eine differenzierbare Funktion heißt Stammfunktion von , falls für alle gilt: