Après l'exploration informelle des entiers relatifs en tant que nombres permettant toutes les soustractions possibles, nous allons les définir sous une forme mathématique rigoureuse, basée sur les différences des entiers naturels, désambiguïsées en tant que classes d'équivalence de couples d'entiers naturels.