交运算

交运算有两种含义，它可以指集合的交运算，即两个集合的交集，与之对应的是集合的并运算，即两个集合的并集；也可以指格的交运算，与之相对应的是格的结运算。格(lattice)是一类代数结构，它是建立在偏序集之上的，由E的任意元素构造的如下两个集合{且}及{且}，它们作为P的子集均仍为偏序集，一般不一定有最小元或最大元。若对P的任意元素，均有最小元，均有最大元，则称P为格，并记为。在格上，把和其最小元的对应关系视为一类二元运算，称为x和y的交，记为，对称地，把和其最大元的对应关系视为x和y的结，记为。