---
alias: ["transitivité", "transitive"]
---
up::[[relation]]
title:: "$x\mathscr Ry \vee y\mathscr Rz \implies x\mathscr Rz$"
#s/maths/algèbre

----

> [!definition] Relation transitive
> Soit $\mathscr R$ une [[relation]] sur $E$
> $\mathscr R$ est _transitive_ ssi :
> $\forall (x,y,z)\in E^3, \quad x\mathscr Ry \vee y\mathscr Rz \implies x\mathscr Rz$
^definition