交运算

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

基本简介

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

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

参考资料