partial order: porządek częściowy

Relacja między elementami zbioru taka, że b > a niekoniecznie oznacza, że a <= b. Relacje tego typu mogą występować np. w zbiorze liczb zespolonych, jeśli część urojona jednej liczby jest większa od części urojonej drugiej liczby, natomiast część rzeczywista pierwszej jest mniejsza od części rzeczywistej drugiej. Por. z total-order.