12.12. Definíció

Tranzitív reláció

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