Petunjuk A.17.1.

Petunjuk 1. Inklusi berbalik saat mengambil komplemen.
Petunjuk 2. Untuk identitas selisih, ubah \(P\setminus Q\) menjadi \(P\cap Q^c\text{;}\) bedakan \(\emptyset\) dari \(\{\emptyset\}\text{.}\)
in-context