命題
G を可換順序群(>>760)とする。
G の任意の x, y に対して sup(y - x, 0) が存在するとする。
このとき、
sup(x, y) = x + sup(y - x, 0) である。

証明
>>763 より明らかである。