يمكن تعريف الترادف بلغة التضمين الثنائي ، او التكافؤ . اذا تضمنت جملة ما، ج 1 ، جملة اخرى ، ج2 ، واذا كان العكس صحيحا " فان ج1 = ج2 (حيث يشير الرمز = الى ( مكافئ الى ) . ) واذا كان للجملتين المتكافئتين تركيب نحوي متماثل مع اختلافهما في ان في

ص78

احديهما المقررة المعجمية س ، وفي الاخرى ص ، فان س و ص مترادفتان وطريقة اخرى لتكوين تعريف التكافؤ قد تكون كما يلي : اذا تضمنت كل من ج 1 و ج 2 نفس المجموعة من الجمل فإنهما مكافئان لبعضهما ، ان الصعوبة في مثل هذا التعريف هي انه ينقض المبدأ القائل ان عدد الجمل التي يمكن ان تتضمنها اية جملة غير محدود (1-2-10 ) . فاذا عرفنا التكافؤ بموجب التضمين الثنائي ، فسنفترض ان كلا من الجملتين اللتين تتضمن احداهما الاخرى تتضمن ايضا  " نفس المجموعة من الجمل الاخرى ، ما لم يثبت بطلان هذا الافتراض في امثلة معينة .

ص79