交运算（meet）即在格中求两个元素的下确界的过程。

在布尔代数中，交运算相当于逻辑与运算。在集合论中，交运算相当于交集或并集运算。

交的定义如下:设R1和R2为参加运算的两个关系,它们具有相同的度n,且相对应的属性值取自同一个域,则R1 R2为交运算,结果仍为度等于n的关系,其中,交运算的结果既属于R1,又属于R2。