ثبّت . تكوّن صفوف التوافق بترديد (المثال 1.32) مجموعةً ذات عنصر، وتُكتب . والعمليتان
معرَّفتان تعريفًا سليمًا — فصفوف النتائج لا تتعلق بالممثلين، وذلك بالضبط لأن التوافق متوافق مع و (التعريف 6.18) — وتجعلان حلقة تبديلية.
الرياضيات · المسرد
ثبّت . تكوّن صفوف التوافق بترديد (المثال 1.32) مجموعةً ذات عنصر، وتُكتب . والعمليتان
معرَّفتان تعريفًا سليمًا — فصفوف النتائج لا تتعلق بالممثلين، وذلك بالضبط لأن التوافق متوافق مع و (التعريف 6.18) — وتجعلان حلقة تبديلية.