Neka je zadana funkcija . Želimo naći funkciju koja derivirana daje , odnosno želimo riješiti jednadžbu
za one za koje rješenje postoji.
Za sljedeću definiciju potrebno je ponoviti neke definicije. Neka je , . Interval je svaki od skupova
Ova definicija i činjenica da je derivacija konstantne funkcije jednaka nuli povlače sljedeći teorem.
jer možemo uzeti i , odnosno skup je u ovom slučaju konačan (vidi sliku 1.1b).
Nakon što smo usvojili pojam primitivne funkcije možemo definirati neodređeni integral, no prije toga dokazat ćemo sljedeći teorem.
pa je , odnosno za neku konstantu i za svaki .
Napomenimo da gornju jednakost interpretiramo kao jednakost među funkcijama, odnosno označava funkciju , a ne njezinu vrijednost u točki .
Slijedeća dva teorema daju nam osnovna svojstva integrala. Prisjetimo se definicije diferencijala funkcije (vidi M1, poglavlje 5.2):
Prvi teorem navodimo bez dokaza.
vrijedi za svaki . Kako je skup također diskretan, zaključujemo da je funkcija jedna primitivna funkcija funkcije . Stoga vrijedi