relacja przechodnia

Relacja przechodnia (tranzytywna) to relacja, która jeśli zachodzi dla pary  oraz pary , to zachodzi też dla pary . Relację dwuczłonową nazywamy przechodnią, gdy:

.