12.12. Definíció

Tranzitív reláció

Legyen adott egy SS halmaz és egy ezen a halmazon értelmezett RR reláció, valamint tegyük fel, hogy aa, bb és cc az SS halmaz tetszőleges elemei. Ha minden ilyen esetben aRbaRb és bRcbRc együttes teljesülése esetén aRcaRc is teljesül, akkor azt mondjuk, hogy az RR reláció tranzitív.