Kompleksiluku
Kompleksilukujen joukko ℂ on reaalilukujen luonnollinen laajennus. Kompleksiluku "z" on muotoa
Aritmeettinen funktio
Formaalisti aritmeettiset funktiot määritellään seuraavasti:
missä formula_2 tarkoittaa luonnollisten lukujen joukkoa formula_3 ja formula_4 kompleksilukujen joukkoa.