Pernyataan benar. Bilangan \(M=\max\{\sup(A),\sup(B)\}\) membatasi \(A\cup B\) dari atas, dan setiap batas atas bagi \(A\cup B\) sedikitnya sebesar \(M\text{.}\)