relation transitive

transitivité d’une relation binaire

ALGEBRE

Propriété de certaines relations binaires sur un ensemble.
Une relation binaire R dans un ensemble E est transitive si :
pour tout x de E , pour tout y de E, pour tout z de E, (x R y et y R z) implique x R z.

L’égalité est un exemple de relation transitive.