الجملة الأولى: يعني هذا أن التكافؤ المثالي بين M و W و N هو من ناحية التماثل المثالي C-isomorphism. الجملة الثانية: يعني هذا أن التكافؤ المثالي بين M، W و N هو متساوي لـ C-مماثل. سؤال: هل الجملة الأولى والجملة الثانية تعبر عن نفس المعنى؟ نعم او لا؟