La clase de equivalencia de un conjunto totalmente ordenado bajo biyecciones que preservan el orden (isomorfismos de orden); captura el patrón abstracto de comparaciones entre elementos independientemente de sus etiquetas o del conjunto subyacente.

Principio

Dos conjuntos totalmente ordenados comparten el mismo tipo de orden si y solo si existe una biyección entre ellos que preserve y refleje la relación de orden; el tipo de orden es por tanto el invariante del isomorfismo de órdenes.

Demostración

Ejemplos: los números naturales con el orden usual tienen el tipo de orden denotado ω; los enteros con su orden habitual tienen el tipo de orden bi-infinito de Z; los racionales con su orden habitual realizan el tipo de orden denso y numerable sin extremos. Estos ejemplos muestran cómo el tipo de orden abstrae la estructura de orden de las etiquetas de los elementos.

Aplicación incorrecta

Tratar como iguales dos órdenes no isomorfos porque tienen la misma cardinalidad, o confundir tipo de orden con isomorfismo como conjuntos en lugar de como estructuras ordenadas; aplicar el concepto a órdenes parciales sin especificar la totalidad resulta erróneo.

Consecuencia

Si dos conjuntos tienen el mismo tipo de orden, todas las afirmaciones orden-teóricas preservadas por isomorfismo (sobre orden relativo, existencia de sucesores/precedentes, extremos, etc.) son verdaderas en uno exactamente cuando lo son en el otro; el tipo de orden permite clasificar estructuras ordenadas hasta relabelado.

Inversión

Tomar el orden dual (inverso) produce un tipo de orden distinto pero estrechamente relacionado; invertir el orden muestra la importancia de la orientación — algunos invariantes se intercambian (p. ej., primer vs último elemento) mientras que otros permanecen iguales.

Límite

Definido para conjuntos totalmente ordenados (órdenes lineales); no se aplica directamente a órdenes parciales, preórdenes o órdenes considerados con estructura adicional no ordenal salvo que dicha estructura se ignore. También ignora las etiquetas de los elementos.

Tensión semántica

El tipo de orden entra en tensión con conceptos afines como ordinal (tipos de orden bien ordenados), isomorfismo de órdenes y cardinalidad pura; la tensión es entre clasificar por estructura (biyecciones que preservan el orden) frente a por tamaño o datos adicionales.

Síntesis

El tipo de orden es la identidad abstracta de un orden lineal: la descripción completa de las relaciones comparativas hasta relabelado, útil para clasificar conjuntos totalmente ordenados por sus rasgos intrínsecos de orden.