{transitive relation} [ریاضی] رابطه ای دوتایی مانند R در یک مجموعه به طوری که اگر aRb و bRc آنگاه aRc