设(A,≤)是一个有界格,对于x,y∈A,证明若x∨y=0,则x=y=0

问题描述:

设(A,≤)是一个有界格,对于x,y∈A,证明若x∨y=0,则x=y=0

x≤y↔x=x∧y⇔x≤y↔y=x∨y
∵x∨y=0
∴y=0
x∨y=y∨x
同理可得x=0