خاصية التمام للأعداد الحقيقية  هناك عدة طرق مختلفة لوصف خاصية التمام، من خلال افتراض أن كل مجموعة غير خالية ومحدودة وجزئية من ح تمتلك حد علوي أصغر (Supremum) .  مفاهيم الحد العلوي والحد السفلي لمجموعة من الأعداد الحقيقية.  لتكن س مجموعة غير خالية جزئية من ح .   المجموعة S:={ x∈R : x<2 } محدودة من أعلى ; العدد 2 وأي عدد أكبر من 2 يعتبر حد علوي لـ S . هذه المجموعة ليس لها حد سفلي، لذلك هذه المجموعة ليست محدودة من أسفل. وبالتالي فهي غير محدودة ( على الرغم من أنها محدودة من أعلى ).  إذا كانت المجموعة تمتلك حد علوي واحد، إذا هي تمتلك عدد لا نهائي من الحدود العلوية، لأنه إذا كان u حد علوي لـ S فإن الأعداد u+1,u+2,… هي أيضا حدود علوية لـ S ( نفس الملاحظة تنطبق على الحدود السفلية ) .  في مجموعة الحدود العلوية لـ S ومجموعة الحدود السفلية لـ S سننتقي العنصر الأصغر والأكبر على التوالي. لنعاملهما معاملة خاصة في التعريف التالي.  لتكن س مجموعة غير خالية جزئية من مجموعة الاعداد الحقيقية ح.  ليس من الصعب أن نرى أنه يمكن أن يكون للمجموعة الجزئية S من R حد علوي واحد فقط.(ثم يمكننا الرجوع إلى الحد العلوي الأصغر للمجموعة S بدلا من الحد العلوي الأصغر) .لنفترض أن u1 و u2 يعتبر كل منهما أصغر حد علوي لـ S . إذا كان u2 < u1 فإن الفرضية تعني أن u2أصغر حد علوي وهذا يعني أن u1 لا يمكن أن يكون حداً علوياً للمجموعة S ، بالمثل نرى أن u2 < u1 غير ممكن، بالتالي يجب أن يكون u1=u2 بطريقة مماثلة يمكن اظهار أن أكبر حد سفلي للمجموعة وحيد. إذا كان أصغر حد علوي وأكبر حد سفلي للمجموعة موجودين فإننا نرمز لهما بالآتي: Sup S & inf S  نلاحظ أيضاً أنه إذا كان u' أي حد علوي اختياري للمجموعة الغير خالية S فإن u≥ S sup .وهذا لأن sup S هو الأصغر من الحدود العلوية للمجموعة S . أولاً: لابد من التأكيد على أنه حتى يكون للمجموعة الغير خالية S والجزئية من R أصغر حد علوي يجب أن تمتلك حد علوي.وبالتالي ليس كل مجموعة جزئية من R تمتلك أصغر حد علوي.بالمثل ليس كل مجموعة جزئية من R تمتلك أكبر حد سفلي. في الواقع هناك أربعة احتمالات للمجموعة الغير خالية S والجزئية من R , وهي:   نود أيضا أن نؤكد أنه من أجل إظهار أن u=supS بالنسبة للمجموعة الغير خالية S والجزئية من R نحتاج لإظهار أن كلا من فقرة (1) و (2) للتعريف2 متحققة. وسيكون من المفيد إعادة صياغة هذه العبارات. التعريف لـ u=sups يؤكد أن u حد علوي لـ S بحيث أن u≤v لأي حد علوي v لـ S . من المفيد أن يكون لدينا طرق بديلة للتعبير عن فكرة أن u هو ( الأقل ) من الحدود العلوية لـ S . إحدى الطرق هي ملاحظة أن أي عدد أقل من u ليس حدا علويا لـ S . وهذا يعني وجود عنصر sz في S بحيث أنz < sz , بالمثل إذا كان ε>0 فإن u-ε أصغر من u وبالتالي يفشل في أن يكون حدا علويا لـ S . العبارات التالية حول الحد العلوي u لمجموعة S متكافئة: # إذا كان v أي حد علوي فإن u < v . # إذا كان z < u فإن z ليس حدا علويا لـ S . # إذا كان z < u فإنه يوجد sz ∈ S بحيث أن z < sz . # إذا كان >0 ε>0 فإنه يوجد s_εبحيث أن u-ε< s_ε . وبالتالي يمكننا أن نذكر صياغتين بديلتين لأصغر حد علوي.  العدد u يعتبر أصغر حد علوي للمجموعة S الغير خالية والجزئية من R إذا وفقط إذا كان u يحقق الشروط:  الحد العلويu للمجموعة الغير الخالية S في R ، يعتبر أصغر حد علوي إذا وفقط إذا كان لكل ε >0 يوجدS ∈ s_ε بحيث أن u-ε< s_ε الإثبات: إذا كان u حد علوي لـ S فهذا يحقق الشرط المذكور، وإذا كان v < u فإننا نضع ε=u-v ، وبما أن ε >0 إذا يوجد عدد S ∈ s_ε بحيث أن < s_ε ε=u-v ، لذلك v ليس حدا علويا لـ S و نستنتج أن.u = sup S على العكس، نفرض أن u= sups و لتكن ε>0 . بما أن u-ε < u إذا u-ε ليس حدا علويا لـ S ، لذلك أحد العناصر s_ε لـ S يجب أن يكون أكبر من u-ε ، هذا يعني أن u-ε< s_ε . من المهم أن ندرك أن أصغر حد علوي لمجموعة، قد يكون أو لا يكون عنصر لهذه المجموعة. ففي بعض الأحيان يكون عنصر للمجموعة وفي بعض الأحيان لا يكون، وهذا يعتمد على المجموعة المعينة. نستعرض الآن بعض الأمثلة:  مثال:   إنه ليس من الممكن أن نثبت اعتمادا على أساسيات الحقل وخصائص الترتيب لـ R ، أن كل مجموعة غير خالية وجزئية منR إذا كانت محدودة من أعلى فإنها تمتلك أصغر حد علوي في R. مع ذلك فهذه الخاصية عميقة وجذرية لنظام الأعداد الحقيقية وهذا هو الحال في الواقع.سوف نجعل الاستخدام الأساسي والمتكرر لهذه الخاصية مخصصا في مناقشاتنا للعمليات على النهاية. العبارة التالية التي تتعلق بوجود أصغر حد علوي هي افتراضنا النهائي عن R وبالتالي نقول أن R حقل مرتب كامل.  كل مجموعة غير خالية من الأعداد الحقيقية تمتلك حد علوي هي أيضا تمتلك أصغر حد علوي في R . هذه الخاصية تدعى أيضا خاصية أصغر حد علوي لـR . و مثل هذه الخاصية خاصية أكبر حد سفلي يمكن استخلاصها من خاصية التمام على النحو التالي: لنفرض أنS مجموعة غير خالية وجزئية منR وهي محدودة من أسفل، فإن المجموعة الغير خالية Ṥ:={-s:s∈S} محدودة من أعلى وخاصية أصغر حد علوي تعمي أن u=supṤ موجودة في R. القارئ ينبغي عليه أن يتحقق بالتفصيل أن –u أكبر حد سفلي لـṤ .