$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.$$