そのため、∀i∈ω{\displaystyle\foralli\in\omega}xi≤xi+1{\displaystylex_{i}\leqx_{i+1}}としたとき、上限∨i∈ωxi{\displaystyle\vee_{i\in\omega}x_{i}}が存在する。
随着计算继续，指称应当变得更好并有一个极限，使得如果有∀i∈ω{\displaystyle\foralli\in\omega}xi≤xi+1{\displaystylex_{i}\leqx_{i+1}}，则最小上界∨i∈ωxi{\displaystyle\vee_{i\in\omega}x_{i}}应当存在。