فرض کنید $A$ و $B$ زیرمجموعههای ناتهی و کراندار از اعداد حقیقی مثبت هستند، تعریف کنید:
$$A.B=\{x.y\mid x \in A,y \in B\}\\
\frac{1}{A}=\{ \frac{1}{x}\mid x \in A\}$$
نشان دهید:
$$\sup(A.B)=\sup(A).\sup(B)$$
و اگر $inf A \neq 0$ آنگاه:
$$\sup( \frac{1}{A})= \frac{1}{\inf A}$$