In de wiskunde is een binaire relatieR over een verzamelingXtransitief, als steeds wanneer een elementagerelateerd is aan een element b en element b op zijn beurt weer gerelateerd is aan een element c, dat dan ook element a gerelateerd is aan element c.