集合、关系的性质、交换群与分配格的相关证明题

离散证明题## 标题
1.设A,B,C是非空有限集，证明：A-(B∪C)=(A-B)∩(A-C).
proof:
①设x∈A-(B∪C)，则有x∈A 且 x∉(B∪C)
即x∈A且x∉B and x∈A且x∉C
也即x∈(A-B) and x∈(A-C)
所以x∈(A-B)∩(A-C)
也就是说A-(B∪C)⊆(A-B)∩(A-C）
②设x∈(A-B)∩(A-C)，则有x∈(A-B) 且 x∈(A-C)
即x∈A且x∉B and x∈A且x∉C
也即x∈A and x∉(B∪C)
所以x∈A-(B∪C)
也就是说(A-B)∩(A-C)⊆A-(B∪C)
综上所述：A-(B∪C)=(A-B)∩(A-C)
2.给定集合A的覆盖{A₁，A₂，A₃,…Aₘ}，证明由它确定的关系R=A₁×A₁∪A₂×A₂∪…∪Aₘ×Aₘ是相容关系.（即满足自反和对称的二元关系）
proof：
①对于∀x∈A，显然∃n使得x∈Aₙ，所以(x,x)∈R，故R是自反的
②若x,y∈A，且(x,y)∈R，则必∃k使得(x,y)∈Aₖ×Aₖ，所以(y,x)∈Aₖ×Aₖ，
即(y,x)∈R，故R是对称的
综上所述：R是A上的相容关系