交运算 在数学中在一个集合上的交meet有两种定义关于在这个集合上的偏序的唯一下确界最大下界假定下确界存在的话 或者是满足幂等律的交换结合二元运算在任何一个情况下这个集合与交运算一起是半格这两个定义产生等价的结果除了在偏序方式中有可能直接定义更一般的元素的集合的交最常见到交运算的领域是格 通常把 x displaystyle x 和 y displaystyle y 的交指示为 x  y displaystyle xland y