Relacja przechodnia (tranzytywna) – relacja, która jeśli zachodzi dla pary oraz pary , to zachodzi też dla pary [1][2].
Relację dwuczłonową nazywa się przechodnią, gdy:
Równoważnie, jest przechodnia dokładnie wtedy, gdy gdzie „” oznacza działanie składania relacji binarnych[potrzebny przypis].
Przechodniość jest jedną z definiujących cech praporządków, w tym relacji równoważności i porządków częściowych (skierowań).