Dalam \([0,\omega_1]\) dengan topologi urutan, buktikan bahwa \(\omega_1\) berada dalam penutup \([0,\omega_1)\text{,}\) tetapi bukan limit suatu barisan dari himpunan itu. Lalu jelaskan bentuk jaring yang konvergen ke \(\omega_1\text{.}\)