Conjunto parcialmente ordenado

En matemáticas, especialmente en teoría del orden, un conjunto parcialmente ordenado (o poset, del inglés partially ordered set) es un conjunto equipado con una relación binaria de orden parcial. Ésta formaliza el concepto intuitivo de orden, secuencia, o arreglo de los elementos del conjunto. Un tal orden no necesariamente debe ser total, es decir, no se necesita que se puedan comparar unos con otros todos los elementos del conjunto; esto sin embargo puede ocurrir en algunos casos (en otras palabras, el orden total es un caso particular del orden parcial).