Dini’s theorem

If a monotonically increasing net $\{f_n\}$ of continuous real-valued functions on a topological space $(X,\tau )$ converges pointwise to a continuous function $f$, then the net converges to $f$ uniformly on compacts.