##  [Type D'Ordre](/fr/node/60255) 

  ##  [Type D'Ordre](https://mathlogic.quantumdictionary.io/fr/node/60256) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Définition

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.