Un conjunto provisto de una relación binaria ≤ que es reflexiva (x ≤ x), antisimétrica (x ≤ y y y ≤ x implican x = y) y transitiva (x ≤ y y y ≤ z implican x ≤ z); no es necesario que todo par de elementos sea comparable.

Principio

El orden se codifica por una relación que cumple reflexividad, antisimetría y transitividad; la comparabilidad es opcional y la estructura organiza elementos por precedencia sin imponer linealidad.

Demostración

El conjunto de partes de un conjunto ordenado por inclusión (⊆): los subconjuntos están ordenados, algunos pares son comparables y otros no; los diagramas de Hasse representan las relaciones de cobertura.

Aplicación incorrecta

Tratar un poset como un orden total y asumir que dos elementos cualesquiera son comparables (por ejemplo, intentar indexar elementos por una única secuencia creciente), lo que puede romper invariantes y invalidar razonamientos que requieren linealidad.

Consecuencia

Se pueden definir cotas superiores e inferiores, elementos mínimos y máximos, cadenas y anticadenas, funciones monotónicas y construcciones de orden (ideales, filtros), permitiendo análisis combinatorio y algebraico que respeta la incomparabilidad.

Inversión

Un orden total es la inversión extrema donde la comparabilidad vale para cada par; si se elimina la antisimetría se obtiene un preorden y elementos distintos pueden ser equivalentes.

Límite

Requiere antisimetría y transitividad; excluye preordenes sin antisimetría, órdenes estrictos definidos por < sin reflexividad y relaciones binarias arbitrarias que no cumplan los tres axiomas.

Tensión semántica

Poset versus preorden: ambos codifican dirección, pero el preorden permite elementos distintos equivalentes; poset versus orden total: el poset admite incomparabilidad, aspecto central en muchos problemas combinatorios.

Síntesis

Un conjunto parcialmente ordenado es la estructura ordenada mínima que organiza elementos mediante una relación reflexiva, antisimétrica y transitiva, proporcionando nociones de cota y cadena sin imponer comparabilidad total.