順序線形空間における一般化上限