Conjunto Parcialmente Ordenado
Natural & Formal Sciences Dictionary
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.