Pemeriksaan G.30. Himpunan yang lebih besar tetap merupakan lingkungan.
Misalkan \(N\) merupakan lingkungan dari \(a\) dan \(N\subseteq M\text{.}\) Buktikan bahwa \(M\) juga merupakan lingkungan dari \(a\text{.}\) Rubrik. Mulailah dari bola yang dijamin oleh definisi lingkungan bagi \(N\text{,}\) lalu gunakan transitivitas inklusi.