格运算

lattice operations