транзитивним, якщо зі співвідношень aRb і bRc випливає aRc. Бінарне відношення R, визначене на деякій множині і відрізняється тим, що для будь-яких х, у, z цієї множини з xRy і yRz випливає xRz (xRy & ). Приклади транзитивних відношень: «більше», «менше», «дорівнює», «подібно», «вище», «північніше».