Transitivité

Propriété d'être transitif. On dit d'une relation qu'elle est transitive dans un ensemble si pour tous les élément de tels que l'on a et alors on a