Her er funksjonen definert ved et endelig antall aritmetiske operasjoner på argumentene. En følge er en type funksjon som ofte blir definert på denne måten.