Setiap \(a+b\in A+B\) memenuhi \(a+b\leq x+y\text{;}\) jadi \(x+y\) adalah batas atas bagi \(A+B\text{.}\)