Bonjour romu

Tu as raison; en toute rigueur on ne doit pas parler de "relation" d'équipotence! Mais comme elle se comporte comme une équivalence, et comme on se permet même de dire qu'un cardinal est une "classe" de la-dite, on fait comme si... En fait les cardinaux non plus ne forment pas un ensemble... Les logiciens se sont donné beaucoup de mal pour contourner le problème en parlant de classes ou d'univers, mais l'honnête mathématicien se débrouille très bien en général sans aller creuser trop profond...

Bonjour Camélia, merci pour ta réponse si rapide.

C'est vrai que du coup je n'y avais pas pensé, les cardinaux ne sont pas vraiment des classes d'équivalence, mais ça fait comme-ci.
Je vois.