## [Conjunto Parcialmente Ordenado](/es/node/59159) Definición 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 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 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 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 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 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 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 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 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.