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