Enumérer, c'est construire une bijection entre entre ensemble d'éléments et l'ensemble des entiers naturels.
Pas exactement car cela veut dire que seuls les ensembles dénombrables peuvent être énumérés. C'est-à-dire uniquement des ensembles infinis. D'ailleurs, comme les deux ensemble n'ont pas le même cardinal ici, on construit une surjection plutôt qu'une injection : tous les éléments de N n'ont pas d'antécédents dans l'ensemble des libertés... Bon trêve de plaisanterie, l'usage veut simplement qu'on commence une liste par l'élément numéro 1 et pas 0 :o)
[^] # Re: Commencer une énuméation à partir de zéro
Posté par jcs (site web personnel) . En réponse à la dépêche Lancement des fiches libres. Évalué à 4.
Pas exactement car cela veut dire que seuls les ensembles dénombrables peuvent être énumérés. C'est-à-dire uniquement des ensembles infinis. D'ailleurs, comme les deux ensemble n'ont pas le même cardinal ici, on construit une surjection plutôt qu'une injection : tous les éléments de N n'ont pas d'antécédents dans l'ensemble des libertés... Bon trêve de plaisanterie, l'usage veut simplement qu'on commence une liste par l'élément numéro 1 et pas 0 :o)