Pour démontrer qu'une application f:E→F f : E → F est surjective, on démontre que, pour tout y∈F y ∈ F , l'équation y=f(x) y = f ( x ) admet toujours au moins une solution x dans E .
De mémoire, en théorie des ensemble une application est définie pour tous les éléments de l'ensemble sur lequel elle s'applique, alors que pour une fonction chaque élément du premier ensemble est en relation avec au plus un élément du second.
Il désigne l'ensemble des nombres entiers naturels (exemples : 0 1 2 3 7).
Si l'on note ℕ*, cela signifie que l'on exclut le zéro.
L'ensemble ℤ vient de l'allemand zahlen qui signifie compter.
Ainsi défini par Dedekind, il recouvre l'ensemble des nombres entiers relatifs (exemples : -3 -1 0 1 5).