Relasi biner: Perbedaan antara revisi

Konten dihapus Konten ditambahkan
Betulkan kerusakan
Baris 54:
 
=== Relasi Transitif ===
:<math>\forall<Sebuah bersifatrelasi isebutdisebut transitif jika memiliki sifat, jika ''a'' berhubungan dengan ''b'', dan ''b'' berhubungan ndengan ''c'', maka ''a'' juga ,c) \berhubungan dengan ''c'' secara langsung.
Sebuah (a,b) \in R \wedge (bin R \rightarrow (a,c) \in R</math>
 
Sebuah :<math>(a,b) \in R \wedge (binb,c) \in R \rightarrow (a,c) \in R</math>
 
atau
 
:<math>\forall< bersifat isebut transitif jika memiliki sifat, ''a'' berhubungan dengan ''b'' berhubungan n ''c'', maka ''a'' juga ,c) \berhubungan dengan ''c'' secara langsung.
:<math>\forall_{a, b, c \in A}\q_{a,relasi d b, dengac \in A}\quad a R''b'', dan b \wedge b R c \rightarrow a R c</math>
 
Sebagai contoh, relasi dua transitif. Misalnya untuk 5, 6, dan 7, berlaku 5 < 6, 6 < 7, dan 5 < 7.