Transitive relation/Definition

A relation with the property that if x→y and y→z then x→z.