Un orden parcial es una relación binaria "R" sobre un conjunto "X" que es reflexiva, antisimétrica, y transitiva, es decir, para cualesquiera "a", "b", y "c" en "X" se tiene que: