cecha relacji, która nigdy nie zachodzi między X i Z, jeśli zachodzi między X i Y oraz Y i Z; atranzytywność