AFM.AQR.5.5: Prove set relations, including DeMorgan’s Laws and equivalence relations.