שינויים
/* חלוקות ומחלקות שקילות */
טרנזיטיביות: <math>xTy\land yTz\Rightarrow \exists a\in \mathbb{Z}: x-y=a \land \exists b\in \mathbb{Z}: y-z=b\\ \Rightarrow x-z=x-y+y-z=a+b\in \mathbb{Z}</math>.
===חלוקות ומחלקות מחלקות שקילותוקבוצת המנה===
הגדרה:
