le fait que la suite soit croissante et que les ensembles sont finit n'apporte pas grand chose. mais en effet, le fait qu'il soit ordoné fournit une bijection canonique et évite d'utiliser l'axiome du choix.