هذا موضوع العلاقات مثل العلاقة الانعكاسية بمعنى وجود أي عنصر مثل ب في س يعني وجود (ب، ب) في العلاقة
والعلاقة التناظرية تعني وجود (ب ، حـ) يوجب وجود (حـ، ب)
والعلاقة المتعدية تعني 1) وجود (ب، حـ) في العلاقة وعدم وجود (حـ، ..) في العلاقة
أما الحالة الأخرى هي 2) وجود (أ، ب) ، (ب، حـ) في العلاقة يوجب وجود (أ، حـ) في العلاقة
وفي حالة تحقق العلاقات الثلاثة السابق ذكرها في علاقة ما نقول بأنها علاقة تكافؤ