частично упорядоченное множество

Части́чно упоря́доченное мно́жество (сокр. ЧУМ) — математическое понятие, которое формализует интуитивные идеи упорядочения, расположения элементов в определённой последовательности. Неформально, множество частично упорядочено, если указано, какие элементы следуют за какими (какие элементы больше каких). В общем случае может оказаться так, что некоторые пары элементов не связаны отношением «следует за». В качестве абстрактного примера можно привести совокупность подмножеств множества из трёх элементов (булеан данного множества), упорядоченную по отношению включения.