Atranzitivní relace

V matematice se binární relace R na množině X nazývá atransitivní, právě když pro žádných n $(n\ge 2)$ na sebe navazujících přiřazení $x_{1}R{x}_2,x_{2}R{x}_3,\dots ,x_{n}R{x}_{n+1}$ neplatí, že je $x$ v relaci s $x_{n+1}$.

Formálně zapsáno:

$\left(\bigcup _{i=2}^{\mathrm{\infty }}{R}^i\right)\cap R=\mathrm{\varnothing }$