Pour tout ensemble fini X, il existe |X|! bijections de X vers [1,|X|]∩ℤ dont chacune définit un ordre total, il suffit d'en choisir une.