Oro wa dabii "eni ti ofi ada pa ikun, ikun salo ada tun sonu".. 
Èyí túmọ̀sí pé gbogbo abẹ́ìkójọpọ̀ s (subset) tí kĩ ṣe ọ̀fọ̀, fún R pẹ̀lú ìparí l'ókè nínú r ní ìparí l'ókè tókéréjùlọ (Least upper bound or supremum) kan nínú R.Ìdámọ tó gbẹ̀yìn yí ló ṣeyàtọ̀ lãrín nọ́ḿbà gìdì àti nọ́ḿbà oníìpín.. 