Лінійний порядок $\leq$ називають сумісним із частковим порядком $R$ , якщо з $aRb$ випливає $a \leq b$ .