Relasi biner: Perbedaan antara revisi

Konten dihapus Konten ditambahkan
RPras (bicara | kontrib)
Baris 54:
 
===Relasi Transitif===
:<math>\forall_{a, b, c \in A}\quadSebuah (a,b) \in R \wedge (b,c) \inbin R \rightarrow (a,c) \in R</math>
Sebuah relasi disebut transitif jika memiliki sifat, ''a'' berhubungan dengan ''b'', dan ''b'' berhubungan dengan ''c'', maka ''a'' juga berhubungan dengan ''c'' secara langsung.
:<math>\forall_{a, b, c \in A}\quad (a,b) \in R \wedge (b,c) \in R \rightarrow (a,c) \in R</math>
atau
Sebuah:<math>\forall< relasibersifat disebutisebut transitif jika memiliki sifat, ''a'' berhubungan dengan ''b'', dan ''b'' berhubungan dengann ''c'', maka ''a'' juga ,c) \berhubungan dengan ''c'' secara langsung.
:<math>\forall_{a, b, c \in A}\quad a R b \wedge b R c \rightarrow a R c</math>
Sebagai:<math>\forall_{a, contohb, c \in A}\q_{a,relasi <d bersifatb, transitif.dengac Misalnya\in untukA}\quad 5,a 6R''b'', dan 7, berlakub 5\wedge <b 6,R 6c <\rightarrow 7,a dan 5R c< 7./math>
Sebagai contoh, relasi uad transitif. Misalnya untuk 5, 6, dan 7, berlaku 5 < 6, 6 < 7, dan 5 < 7.
 
==Relasi khusus==