Relasi biner: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Tag: Dikembalikan VisualEditor Tugas pengguna baru Tugas pengguna baru: referensi |
k Suntingan Laidek233 (bicara) dibatalkan ke versi terakhir oleh Dearly1997 Tag: Pengembalian |
||
Baris 8:
== Relasi dan fungsi proposisi ==
Sebuah relasi dapat dikaitkan dengan sebuah [[fungsi proposisi]] atau [[kalimat terbuka]] yang himpunan penyelesaiannya tidak lain adalah relasi tersebut.
Sebagai contoh, pandang himpunan ''B'' = { ''apel, jeruk, mangga, pisang'' } dengan himpunan ''W'' = { ''hijau, kuning, orange''}. Suatu relasi ''R'' dari ''A'' ke ''B'' didefinisikan sebagai ''R'' = {(''apel, hijau''), (''jeruk, orange''), (''mangga, hijau''), (''pisang, kuning'')}. Terdapat fungsi proposisi ''w''(''x, y'') = "''x'' berwarna ''y''", yang himpunan penyelesaiannya adalah {(''apel, hijau''), (''jeruk, orange''), (''mangga, hijau''), (''pisang, kuning'')}, yang tidak lain adalah relasi ''R''.
Baris 72:
* Simetrik, dan
* Transitif
Relasi ekuivalen memiliki hubungan erat dengan [[partisi]], yang merupakan alasan mengapa partisi dari sebuah himpunan disebut kelas kesetaraan atau kelas kesetaraan.
=== Orde parsial ===
| |||