Eyi tumosi pe gbogbo abeikojopo S (subset) ti ki se ofo, fun R pelu ipari l'oke ninu R ni ipari l'oke tokerejulo (least upper bound or supremum) kan ninu R.Idamo to gbeyin yi lo seyato larin nomba gidi ati nomba oniipin.. 
Ajibogun mú ìrìn-àjò rẹ̀ pọ̀n, níkẹhìn ó bá àwọn ẹ̀gbọ́n rẹ̀ ó sì gba ọ̀pọ̀lọpọ̀ ohun ìní padà lọ́wọ́ wọn.. 