问答题
在格L中如果有aV（bΛc）=（aVb）Λ（aVc）成立。
证明集合恒等式A∩（B∪～A）=B∩A。
问答题证明集合恒等式A∩（B∪～A）=B∩A。
设I是格L的非空子集，如果满足下述条件，则称I为L的理想：证明：I是L的子格。
设A，B，C是任意集合，证明：（A-B）-C=（A-C）-B。
问答题设A，B，C是任意集合，证明：（A-B）-C=（A-C）-B。
有aV（bΛc）=（aVb）Λ（aVc）成立。
证明：I是L的子格。