B={(a,b]|a,b∈R} ailesi, 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,∞)=⋃{(0,n]|n∈N} olduğundan (0,∞)∈τu olur.