Поєднання та зустріч
У математиці, в області теорії порядку для підмножини частково впорядкованої множини розглядають операції:
- поєднання (англ. join) результатом є супремум (точна верхня межа) позначається
- зустріч (англ. meet) результатом є інфімум (точна нижня межа) позначається
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/8b/Join_and_meet.svg/220px-Join_and_meet.svg.png)
В загальному випадку результати цих операцій можуть не існувати. Операції є дуальними одна до одної при зміні порядку на протилежний.
Властивості
ред.Обидві операції є комутативними, асоціативними та ідемпотентними.
Див. також
ред.Джерела
ред.- Биркгоф Г. Теория решёток / пер. с англ. В. Н. Салий ; под ред. Л. А. Скорнякова. — 3-е изд. — Москва : Наука, 1984. — 568 с.(рос.)