Pemeriksaan K.9. Menyelesaikan implikasi sebaliknya.
Dari panduan 7 dan 8, tarik kesimpulan tentang \(O_A\) sebagai subhimpunan dari subruang \(A\text{,}\) lalu nyatakan implikasi sebaliknya yang telah dibuktikan. Rubrik: kuantifikasikan argumen untuk setiap \(a\in O_A\) dan sebutkan ruang tempat setiap bola serta setiap keterbukaan dihitung.