שינויים
/* כפל חתכי דדקינד */
*יהיו שני חתכי דדקינד '''אי שליליים''' <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>
*אם A אי שלילי, וB שלילי, נגדיר:
**<math>A\cdot B = - A\cdot (-B)</math>
*אם A,B שליליים נגדיר:
**<math>A\cdot B = (-A)\cdot (-B)</math>
