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