交運算

在數學中 ， 在一個集合上的交 ( meet ) 有兩種定義 ： 關於在這個集合上的偏序的唯一下確界 ， 假定下確界存在的話 ； 或者是滿足冪等律的交換結合二元運算 。 在任何一個情況下 ， 這個集合與交運算一起是半格 。 這兩個定義產生等價的結果 ， 除了在偏序方式中有可能直接定義更一般的元素的集合的交 。 最常見到交運算的領域是格 。 通常把 和 的交指示爲 。