有向上限の存在を要求することは、有向集合および上限を（近似的）計算における近似およびその極限をそれぞれ一般化するものと見做すことを考えれば自然である。
要求有向上确界的存在的动机来自把有向集合看作一般化的逼近序列，把上确界看作各自(逼近)计算的极限。