علاقة متعدية

في الرياضيات، يطلق اسم العلاقة المتعدية (بالإنجليزية: Transitive relation) على العلاقة الثنائية في مجموعة ما بحيث أنه إذا كان العنصر الأول مرتبط بالعنصر الثاني، وكان العنصر الثاني مرتبط بالعنصر الثالث فإن العنصر الأول سيكون مرتبطاً بالعنصر الثالث.

أمثلة

• علاقة أكبر وعلاقة أكبر أو يساوي وعلاقة المساواة هي علاقات متعدية على الشكل التالي:

مهما كان A > B وB > C, فسيكون أيضاً A > C

مهما كان A ≥ B وB ≥ C, فسيكون أيضاً A ≥ C

مهما كان A = B وB = C, فسيكون أيضاً A = C

• علاقة الأمومة هي علاقة غير متعدية. لأنه إذا كانت سعاد أماً لعفاف، وعفاف أماً لسماح، فليس من الضروري أن تكون سعاد أماً لسماح.