Tranzitív reláció

Legyen adott egy S halmaz és egy ezen a halmazon értelmezett R reláció, valamint tegyük fel, hogy a, b és c az S halmaz tetszőleges elemei. Ha minden ilyen esetben aRb és bRc együttes teljesülése esetén aRc is teljesül, akkor azt mondjuk, hogy az R reláció tranzitív.

♣