(ج ، o) , (ج ، * ) أو أكثر هو التطابق بين بناء الزمرتين ويتم بوجود اقتران بين عناصر المجموعتين ج , جَ مع اختلاف بالعمليتين الرياضيتين o  , * .

فالزمرتان  (ج ، o) , (جَ ، * ) متشاكلتان إذا وفقط إذا وجد بينهما تشاكل .

فزمرة الاعداد الحقيقية مع عملية الجمع ( ح , +) وزمرة الاعداد الحقيقية الموجبة مع عملية الضرب (ح+ ، 0) متشاكلتان , كونه يوجد اقتران تناظر بين المجموعتين من ح+ , إلى ح كما في القاعدة :

ق(س) = هــ س

أي ان ق(أ + ب) = ق(أ) , ق(ب) = هـ^أxهـ^ب=هـ^أ+ب

لأنه عند الضرب تجمع الأسس إذا كانت الأساسيات متساوية .

ومثاله :

ق(2 + 3) = ق(2) . ق(3) = هـ²xهـ³=هـ²⁺³ =هـ⁵