A,B\subseteq\mathbb{R} ve her a\in A ve b\in B için a\leq b olmak üzere \sup A\leq \inf B olduğunu göstereceğiz.
Tanım: (\mathbb{R},\leq) posetinde A\subseteq \mathbb{R} olmak üzere
\sup A:=\min\{x|y\in A\Rightarrow y\leq x\}
\inf A:=\max\{x|y\in A\Rightarrow x\leq y\} şeklinde tanımlandığını biliyoruz.
a\in A\Rightarrow a\leq \sup A \ldots (1)
b\in B\Rightarrow b\leq \sup B \ldots (2)
Öte yandan B kümesinin herhangi bir elemanı, A kümesinin her elemanından büyük eşit olduğundan her b\in B için \sup A \leq b\ldots (3) koşulu sağlanır. O halde (1),(2),(3)\Rightarrow a\leq \sup A\leq b\leq \sup B.