Un entier naturel non nul est dit premier que s'il n'accepte pour diviseur que lui-même ou l'unité. Les entiers naturels non nuls qui ne sont pas premiers sont dits composés.
On notera que 1 est premier, et que 2 est le seul nombre pair premier, tous les autres nombres pairs étant, par définition, des multiples de 2.
Ceci peut se traduire, en appelant P l'ensemble des nombres premiers, par
