A bir küme olsun ve bu kümenin birden fazla supremum(birbirinden farklı) elemanı olsun. En az iki tane olmalı yani. Bunlara
M ve
M′ diyelim.
M bir üst sınır ve tanım gereğince bir supremum olan
M′ için
M′≤ M ve benzer şekilde
M≤ M′ eşitsizliği de sağlanır. Dolayısıyla
M=M′ olur; ancak bu varsayımımızla çelişir dolayısıyla supremum varsa biriciktir.
◼
İnfimum için de benzer şekilde yapabilirsiniz.