Vlogice amatematice sebinární relaceR namnožiněX nazývátranzitivní, pokud pro každé, a z X platí, že pokud je v relaci s a je v relaci s , je i v relaci s .
Formálně zapsáno:
Například „je větší než“ a „je rovno“ jsou tranzitivní relace: pokuda = b ab = c, platí ia = c.
Na druhou stranu, „je matkou“ není tranzitivní relace, protože když Alice je matkou Břetislavy a Břetislava je matkou Cecílie, není Alice matkou Cecílie.
