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