В
математике частично упорядоченным множеством называется
множество, на котором определено
отношение частичного порядка. Неформально можно сказать, что это отношение вводит некую иерархию элементов множества, выстраивает зависимости между ними, показывает, какой элемент множества «больше», а какой «меньше». При этом такое отношение вовсе не обязано быть
отношением линейного порядка, т.е. не все элементы «сравнимы».