Misalkan \(A\subseteq X\text{,}\) \(O_X\) terbuka di ruang metrik \(X\text{,}\) dan \(O_A=A\cap O_X\text{.}\) Untuk \(a\in O_A\text{,}\) buktikan bahwa terdapat \(\delta\gt0\) dengan \(B_X(a,\delta)\subseteq O_X\text{.}\) Rubrik: uraikan keanggotaan dalam irisan, lalu terapkan definisi keterbukaan di ruang ambien yang tepat.