Type D'Ordre

La classe d'équivalence d'un ensemble totalement ordonné sous les bijections qui préservent l'ordre (isomorphismes d'ordres) ; elle capture le schéma abstrait des comparaisons entre éléments indépendamment de leurs étiquettes ou de l'ensemble sous-jacent.