שינויים
/* חיבור חתכי דדקינד */
**אם איבר אינו חסם מלעיל, הוא שייך לנגדי:
***נניח <math>y</math> אינו חסם מלעיל של <math>-A</math> לכן קיים <math>y<x\in -A</math> ולכן קיים <math>m\notin A</math> כך ש <math>y<x<-m</math> ולכן <math>y\in -A</math>
==יחס סדר==
*יחס ההכלה הוא יחס סדר לינארי (מלא) על קבוצת חתכי דדקינד