Sia \((X,𝜏)\) uno spazio topologico. Definiamo "liminf" e "limsup" generalizzando la definizione precedentemente presentata in [20F] per il caso \(X={\mathbb {R}}\).
Si noti che \(f\) è semicontinua inferioriormente se e solo se \((-f)\) è semicontinua superiormente: dunque in molti esercizi successivi vedremo solo i casi s.c.i.
