Dalam tugas pembuktian ulang, buktikan sekaligus \(A'\cap A^i=\emptyset\) dan \(A\subseteq A'\cup A^i\text{.}\) Rubrik. Satu analisis kasus pada \(x\in A\) harus membuktikan cakupan, sedangkan ketidakmungkinan memenuhi dua definisi sekaligus harus membuktikan keterpisahan.