Join

在一个格中，任意两个元素 和 都有一个最小上界。这个最小上界通常被称为 和 的 join，并用 表示。

人们也可以在一个一般的偏序集中讨论 join 运算。如果 和 是某个偏序集 中的两个元素，并且如果存在一个最小元素 具有性质 和 ，那么 就被称为 和 的 join。