A,B⊆R ve her a∈A ve b∈B için a≤b olmak üzere supA≤infB olduğunu göstereceğiz.
Tanım: (R,≤) posetinde A⊆R olmak üzere
supA:=min{x|y∈A⇒y≤x}
infA:=max{x|y∈A⇒x≤y} şeklinde tanımlandığını biliyoruz.
a∈A⇒a≤supA…(1)
b∈B⇒b≤supB…(2)
Öte yandan B kümesinin herhangi bir elemanı, A kümesinin her elemanından büyük eşit olduğundan her b∈B için supA≤b…(3) koşulu sağlanır. O halde (1),(2),(3)⇒a≤supA≤b≤supB.