l'opposé d'un entier naturel est certes un entier, mais ce n'est pas un entier naturel. Plus généralement, l'opposé d'un nombre positif est négatif.
