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

(матем.)

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

непустое множество, на к-ром зафиксирован нек-рый порядок.

Ч. у. м. является примером модели.

Примеры Ч. у. м.: 1) множество натуральных чисел с обычным порядком; 2) множество натуральных чисел, где означает, что аделит b; 3) множество всех подмножеств нек-рого множества, где означает, что 4) множество всех действительных функций на отрезке [0, 1], где означает, что для всех 5) множество конечных возрастающих последовательностей натуральных чисел, где

означает, что и а _i=b_i при (см. Дерево);6) произвольное непустое множество, где означает а=b (такое Ч. у. м. наз. тривиальным, или дискретным).

Каждое Ч. у. м. Рможно рассматривать как малую категорию, объектами к-рой служат элементы множества Р, а множество морфизмов Н( а, b )одноэлементно, если и пусто в остальных случаях. В свою очередь, каждая малая категория, где каждое из множеств H( а, b )содержит не более одного элемента, определяет Ч. у. м.

Если на Ч. у. м. Ропределить отношение полагая если то это отношение оказывается порядком. Возникающее таким образом Ч. у. м. наз. дуальным, или двойственным, к Р.

Отображение Ч. у. м. Р в Ч. у. м. Р' наз. (анти)изотонным, или (анти)гомоморфизмом, если в Рвлечет в Р'. Взаимно однозначный (анти)гомоморфизм наз. (анти)изоморфизмом. Тождественное отображение Ч. у. м. Р на себя является антиизоморфизмом этого Ч. у. м. на дуальное ему. Изоморфизм является частным случаем резидуалъного отображения. Последовательное выполнение двух антигомоморфизмов дает гомоморфизм. Совокупность всех Ч. у. м. образует категорию, если морфизмами считать изотопные отображения. Всякое непустое подмножество Ч. у. м. является Ч. у. м. относительно индуцированного на нем порядка.

Если А- непустое подмножество Ч. у. м. Р, то нижний конус (верхний конус определяется как совокупность всех таких элементов что для всех Если и то подмножество наз. интервалом (хотя с точки зрения словоупотребления, принятого в математич. анализе, здесь следовало бы говорить лотрезок