Відношення R на А є відношення часткового порядку, якщо воно рефлексивно, симетрично й транзитивно.
Якщо відношення R на А є відношенням часткового порядку, то (A,R) називають частково впорядкованою множиною, або ЧУ- множиною з порядком R. Якщо відношення порядку R передбачається за замовчуванням, то (A,R) можна позначити просто А
Нехай С = {1,2,3}, а X — безліч всіх підмножин безлічі С:
Определим отношение R на X посредством (Т, V)ÎR, если Т Í V. Таким образом, ({2},{1,2}) Î R, поскольку {2} Í{1,2} и ({2,3},{3}) Î R, поскольку {2,3} Î{3}. Можно легко проверить, что R — отношение частичного порядка, а (А, R) _ ЧУ-множество
Часткове впорядковане прийнято позначати через ,а частково впорядковану множину через (S, ), де -частковий порядок на множині S якщо (a,b)Î, то відповідно до уведеного раніше позначенням для відношень, ab
Два елементи а й b частково впорядкованої мнодини (S, ≤) порівнянні, якщо а ≤ b або b ≤ а. Якщо кожні два елементи частково впорядкованої множини (S, ≤) порівнянні, то (S, ≤) називається цілком упорядкованою множиною або ланцюгом.
Для зображення частково впорядкованих безлічей є графічний апарат, відомий як діаграми Гессе. Для заданої Чу- множини (А, ≤) діаграма Гессе складається із сукупності крапок і ліній, у якій крапки представляють елементи А, і якщо а ≤ с для елементів а й с множини А, тоді а поміщено нижче с, і вони з'єднані лінією, якщо не існує таке b ≤ а,с, що а ≤ b ≤ с. Якщо розгляд відносин обмежений відносинами часткового порядку, для них діаграми Гессе являють собою просто орієнтований граф, у якому петлі не зазначені; і якщо а ≤ b ≤с, тоді лінія від а до с не зазначена.
Побудуйте діаграми Гессе для наступних ЧУ-множеств (А, ≤), где