Relacja przechodnia

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

Relacja przechodnia (tranzytywna) – relacja, która jeśli zachodzi dla pary oraz pary , to zachodzi też dla pary .

Relację dwuczłonową nazywa się przechodnią, gdy:

.

Równoważnie, jest przechodnia dokładnie wtedy, gdy gdzie „” oznacza działanie składania relacji binarnych.

Przykłady[edytuj]

Zobacz też[edytuj]