Побудову лінійного порядку, сумісного із заданим частковим порядком, називають топологічним сортуванням.