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, que formaliza el concepto intuitivo de orden, secuencia, o arreglo de los elementos del conjunto. Tal orden no necesariamente debe ser
total, es decir, no se necesita que se puedan comparar unos con otros todos los elementos del conjunto. Sin embargo esto puede ocurrir en algunos casos (en otras palabras, el
orden total es un caso particular del orden parcial).