Meet

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

人们也可以在一般的偏序集中讨论交运算。如果 和 是某个偏序集 中的两个元素，并且如果存在一个最大元素 （相对于给定的顺序），具有性质 和 ，那么 被称为 和 的交。