Join

在一個格中，任意兩個元素 和 都有一個最小上界。這個最小上界通常被稱為 和 的 join，並用 表示。

人們也可以在一個一般的偏序集中討論 join 運算。如果 和 是某個偏序集 中的兩個元素，並且如果存在一個最小元素 具有性質 和 ，那麼 就被稱為 和 的 join。