Tranzitivna relacija

Tranitivna je ona binarna relacija za koju vrijedi, uz zadani skup S te binarnu relaciju R na skup S, tj.

R ⊆ S × S .

Često se običava umjesto $(x,y)\in R$ pisati

$xRy$

Relacija je tranzitivna ako je

$(x{\mathcal {R}}y)\land (y{\mathcal {R}}z)\Rightarrow x{\mathcal {R}}z$ (ako je $x$ u relaciji sa $y$, i $y$ u relaciji sa $z$ onda je $x$ i u relaciji sa $z$)

Izvori

• Prirodoslovno matematički fakultet u Zagrebu Mladen Vuković: Neki osnovni pojmovi teorije skupova, 2004. str. 3 (pristupljeno 20. studenoga 2019.)