Une relation est transitive si chaque fois que a R b et b R c alors a R c.
Relations transitives :
Sur N: x est plus petit que y
Sur N: x est divisible par y
Sur un ensemble de personnes: x est l'ancêtre de y
Relations non transitive :
Sur N: x est le double de y
Sur un ensemble de personnes: x est le père de y