Relasi transitif: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Dedhert.Jr (bicara | kontrib) referensi error |
Dedhert.Jr (bicara | kontrib) kutipan Tag: Suntingan visualeditor-wikitext |
||
Baris 2:
== Definisi ==
[[Relasi homogen]] <math>R</math> pada himpunan <math>X</math> dikatakan ''transitif'' jika <math>aRb</math> dan <math>bRc</math>, maka <math>aRc</math>, untuk semua <math>a,b,c, \in X</math>.{{Sfn|Smith|Eggen|St.Andre|2006|p=145}} Secara matematis, dapat ditulis dalam notasi [[Logika predikat tingkat pertama|logika orde pertama]].
<math display="block">\forall a,b,c \in X: (aRb \wedge bRc) \Rightarrow aRc.</math>
Baris 13:
* jika <math>x>y</math>, dan <math>y>z</math>, maka <math>x>z</math>
* jika <math>x=y</math>, dan <math>y=z</math>, maka <math>x=z</math>
== Catatan ==
{{reflist|colwidth=30em}}
== Referensi ==
* {{citation|first1=Douglas|last1=Smith|first2=Maurice|last2=Eggen|first3=Richard|last3=St.Andre|title=A Transition to Advanced Mathematics|edition=6|year=2006|publisher=Brooks/Cole|isbn=978-0-534-39900-9}}
[[Kategori:Aljabar elementer]]
[[Kategori:Relasi biner]]
| |||