Petunjuk 1. Ganti \(A\) dengan \(S\) dalam syarat pembentuk \(S\text{.}\)

Petunjuk 2. Untuk subhimpunan, mulailah dengan \(x\in A\text{;}\) untuk himpunan kosong, tanyakan apakah ada contoh yang melanggar implikasi.