(A∪B)∩A=A
の証明はどのように書けばいいんでしょう

論理式に直して同値変形するとか包含を両側から示すとかですかね?