En mathématiques, un ensemble E est dit fini si et seulement s'il existe un entier n et une bijection de E sur l'ensemble des entiers naturels strictement plus petits que n, en particulier, si n = 0, E est l'ensemble vide.
Plus formellement, un ensemble E est dit fini s'il existe un entier naturel n et une bijection entre E et l'ensemble des entiers naturels strictement plus petits que n.
Ensemble fini
C'est une collection d'objets, de nombres, comptant une quantité limitée de ces objets.
L'ensemble de chiffres est fini: il compte dix éléments: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}.