Atranzitivní relace

Z Wikipedie, otevřené encyklopedie

V matematice se binární relace R na množině X nazývá atransitivní, právě když pro žádných n (n \geq 2) na sebe navazujících přiřazení x_1Rx_2, x_2Rx_3, \ldots, x_nRx_{n+1} neplatí, že je x v relaci s xn + 1.

Formálně zapsáno:

\left(\bigcup_{i=2}^{\infty}R^i\right) \cap R = \emptyset