Отношение частичного порядка R называется линейным порядком, если выполнено условие
Множество X, на котором введено отношение линейного порядка, называется линейно упорядоченным, или цепью.
Отношение R, удовлетворяющее только условиям рефлексивности и транзитивности, называется квазипорядком, или предпорядком.
Топологическая сортировка — упорядочивание вершин бесконтурного ориентированного графа согласно частичному порядку, заданному ребрами орграфа на множестве его вершин.
Пусть дано некоторое бинарное отношение R на конечном множестве A. Задачей топологической сортировки является выстраивание элементов множества A в последовательность a1, a2, ..., aN так, что для любой пары (ai, aj) такой, что истинно ai R aj, выполняется условие i < j.
Если представить отношение в виде ориентированного графа (элементы множества являются вершинами, ребро из вершины a в вершину b существует тогда и только тогда, когда истинноa R b), то задача может быть сформулирована следующим образом: перечислить вершины графа в таком порядке, чтобы для любого ребра графа его начальная вершина была перечислена раньше конечной.
Цель топологической сортировки - преобразовать частичный порядок в полный.
(так же предлагаю Вам посмотреть пример топологической сортировки на википедии)
