>>854
0↑y = lim[(u,v)→(0,y)] u↑v
ただし、u＞0, v∈実数。
u,v の範囲は、この定義がなければ
u↑v が定義されていた範囲。