交运算

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

基本简介

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

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