The Properties and Application of a Mixed Operation in Evaluation Lattice

• 赋值格中一种混合运算的性质和应用