冷定理:设S是分配格,ax,y∈S,若 a∧x=ay,且aNx=awy,则x=y❖ 定理：设S是分配格，a,x,yS,若 ax=ay,且ax=ay，则x=y。 ❖ L1 ～L4