「実数列の上極限と実関数の極限」の定義はもちろん書いてあります。