Ya. Koleksi interval setengah terbuka tersebut menutupi \(\R\) dan memenuhi aksioma irisan basis, sehingga menentukan topologi limit bawah \(\tau_{\ell\ell}\text{.}\)