Soit E un ensemble.

Soit A l'ensemble des permutations de E et B l'ensemble des ordres totaux sur E.

Alors il n'existe pas de bijection canonique entre A et B.

Preuve :
Il existe une permutation distinguée de E : l'identité.
En revanche il n'y a pas d'ordre total distingué.