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.
♣