這個錄音檔先證明的是，若集合 E 包含於有序集 S 的最小上界存在，則唯一。特別注意的是
：這個定理是接受最小上界存在，才證唯一性。至於一個集合的最小上界存在與否，這個定理並沒有說明，我們要用別的方法證明。