Ben quand E est générique je comprends ça comme signifiant quel que soit E, autrement dit, pour tout E particulier, la propriété est vraie. En l'occurrence ça n'est pas le cas, il existe des E pour lesquels il y a un ordre total distingué, et il existe des E pour lesquels il y a une bijection canonique entre A et B. J'aurais donc plutôt dit : il n'y a pas en général de bijection canonique, mais bon...

Au fait comment prouve-t-on qu'il n'y a pas en général d'ordre distingué ?