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