שינויים
/* חתך האפס */
===חתך האפס===
*נגדיר את חתך האפס, בהמשך נוכיח שהוא נייטרלי לחיבור.:**<math>0_D=\left\{x\in\mathbb{Q}|x<0\right\}</math>
*נוכיח כי חתך האפס נייטרלי לחיבור:
**יהי חתך דדקינד <math>A</math> צריך להוכיח כי <math>A+0_D=A</math>
**נבצע הכלה דו כיוונית. בכיוון הראשון:
***יהי <math>x=a+h\in A+0_D</math> צריך להוכיח כי <math>x\in A</math>
***כיוון ש <math>h\in 0_D</math> נובע לפי ההגדרה כי <math>h<0</math> ולכן <math>a+h<a</math>
***לכן <math>x=a+h</math> אינו חסם מלעיל של <math>A</math> ולכן <math>x\in A</math>
**בכיוון השני:
***יהי <math>a\in A</math> צריך להוכיח כי <math>a\in A+0_D</math>
***אמרנו כי בחתך דדקינד אין איבר גדול ביותר, ולכן קיים <math>a<b\in A</math>
***כיוון ש <math>a-b<0</math> נובע כי <math>a-b\in 0_D</math>
***סה"כ <math>a=b+(a-b)\in A+0_D</math> כפי שרצינו.
===נגדי===
==ייצוג עשרוני של מספרים ממשיים==
*ייצוג עשרוני הוא זוג של סדרת הספרות (פונקציה מהטבעיים אל קבוצת הספרות 0-9) ומספר טבעי שהוא מיקום של הספרה העשרונית.
*נרצה להתאים לכל ייצוג עשרוני מספר ממשי, נגדיר אותו להיות החסם העליון של כל תתי הפיתוחים העשרוניים הסופיים של המספר.
