Si la relació d’ordre és parcial, el conjunt OOO X ,≤OOO és parcialment ordenat i, si és total, és totalment ordenat. Una relació d’ordre és parcial si compleix les propietats reflexiva: x ≤ x , transitiva; si x ≤ y i y ≤ z , aleshores x ≤ z i antisimètrica: si x ≤ y i y ≤ x , aleshores x = y . I és total quan és parcial i, a més, tota parella d’elements és comparable: qualssevol que siguin x , y , x ≤ y o y ≤ x .
m
Matemàtiques