In matematica, una relazione binaria R in un insieme X è transitiva se e solo se per ogni a, b, c appartenenti ad X, se a è in relazione con b e b è in relazione con c, allora a è in relazione con c. In simboli:

Ad esempio, "è maggiore di" e "è uguale a" sono relazioni transitive: se a = b e b = c, allora a = c.