Tranzitivna relacija

Izvor: testwiki
Prijeđi na navigaciju Prijeđi na pretraživanje

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)R pisati

xRy

Relacija je tranzitivna ako je

(xy)(yz)xz (ako je x u relaciji sa y, i y u relaciji sa z onda je x i u relaciji sa z)

Izvori