\mathcal{B}=\left\{(a,b]\big{|}a,b\in\mathbb{R}\right\} ailesi, \mathbb{R} gerçel sayılar kümesi üzerindeki bir topoloji için bazdır. Bu topolojiye üst limit topolojisi denir. Dolayısıyla üst limit topolojisinin elemanları (a,b] şeklindeki kümelerin birleşimi şeklinde yazılabilen kümelerdir. Öte yandan (0,\infty)=\bigcup\left\{(0,n]\big{|}n\in\mathbb{N}\right\} olduğundan (0,\infty)\in\tau_u olur.