Himpunan \(A+B\) tidak kosong dan, menurut butir sebelumnya, terbatas di atas oleh \(x+y\text{.}\) Jadi \(z\) ada dan, sebagai batas atas terkecil, memenuhi \(z\leq x+y\text{.}\)