حد ديديكايند: الفرق بين النسختين

يشكل '''<math>D</math>''' إمتدادا ل S بمعنى ان كل عنصر x من S يقابله عنصر من '''<math>D</math>''' عبر التطبيق التبايني و "التشاكلي" (أي الذي يحافظ على علاقة الترتيب > ) :

 

 

 

بذلك نرى أن حدود ديديكايند تمكن من تمديد مجموعة مرتبة كليا إلى مجموعة مرتبة كليا تحقق خاصية الكابر الأصغر.