Property a) is satisfied (let A be a subset of the set of non-negative integers that is bounded above.
تكون خاصية أ) مستوفية الشروط (افترض أن A مجموعة فرعية من مجموعة الأعداد الصحيحة غير السالبة التي تحدها من الأعلى.