MA.912.LT.5.6: Prove set relations, including DeMorgan’s Laws and equivalence relations.