שינויים
/* כפל חתכי דדקינד */
*יהיו שני חתכי דדקינד '''אי שליליים''' <math>0_D\leq A,B</math>, נגדיר את הכפל:
**<math>A\cdot B =\left\{x\in\mathbb{Q}:|\forall m_A\notin A\forall m_B\notin B:x<m_A\cdot m_B\right\}</math>
*אם A שלילי, וB אי שלילי, נגדיר:
**<math>A\cdot B = - ((-A)\cdot B)</math>
