Поєднання та зустріч

This Діаграма Гассе посета з 4 елементів: a, b, максимального елемента a $\vee$ b та мінімального елемента a $\wedge$ b.

У математиці, в області теорії порядку для підмножини $S$ частково впорядкованої множини $P$ розглядають операції:

• поєднання (Шаблон:Lang-en) $S,$ результатом є супремум (точна верхня межа) $S,$ позначається $\bigvee S.$
• зустріч (Шаблон:Lang-en) $S,$ результатом є інфімум (точна нижня межа) $S,$ позначається $\bigwedge S.$

В загальному випадку результати цих операцій можуть не існувати. Операції є дуальними одна до одної при зміні порядку на протилежний.

• Посет, в якому для всіх пар елементів $a,b$ існує $a\vee b$, називають join-напівґраткою (верхньою-напівґраткою).
• Посет, в якому для всіх пар елементів $a,b$ існує $a\wedge b$, називають meet-напівґраткою (нижньою-напівґраткою).
• Посет, в якому для всіх пар елементів $a,b$ існують обидві операції, називають ґраткою.

Властивості

Обидві операції є комутативними, асоціативними та ідемпотентними.

Див. також

• Двоїстість (теорія порядку)
• Максимальні та мінімальні елементи
• Верхня та нижня межа
• Найбільший та найменший елемент
• Супремум та Інфімум

Джерела

• Шаблон:Биркгоф.Теория решёток