Relasi transitif itu apa sih?

Dalam matematika, relasi  pada himpunan  dikatakan transitif jika  menghubungkan  ke  dan menghubungkan  ke , maka  menghubungkan  ke .

Relasi homogen  pada himpunan  dikatakan transitif jika  dan , maka , untuk semua . Secara matematis, dapat ditulis dalam notasi logika orde pertama.

Pada notasi di atas,  merupakan notasi infiks untuk .