Untuk mendefinisikan sebuah relasi dalam Python adalah dengan menuliskannya dalam bentuk enumerasi. Misalkan, untuk mendefinisikan relasi , kita menuliskan:
Kita juga dapat menuliskan relasi dalam Python dengan menuliskan syarat relasi menggunakan comprehension. Misalkan kita ingin membuat relasi pada himpunan dimana relasi yang akan dibentuk jika habis dibagi , untuk . Kita menuliskan dalam Python seperti berikut:
Contoh 1. Menuliskan Relasi
Misalkan . Tuliskan relasi-relasi pada berikut dan cetak relasi tersebut:
Output dari kode di atas:
Fungsi yang memeriksa sifat refleksif dari sebuah relasi dapat dituliskan dalam kode Python seperti berikut:
Fungsi is_reflexive
di atas menerima dua argumen: argumen pertama R
adalah relasi yang ingin diperiksa sifat refleksifnya dan argumen kedua A
adalah himpunan dimana relasi R
didefinisikan. Fungsi is_reflexive
mengembalikan True
jika relasi R
pada argumen pertamanya bersifat refleksif dan mengembalikan False
jika sebaliknya.
Fungsi yang memeriksa sifat simetris dari sebuah relasi dapat dituliskan dalam kode Python seperti berikut:
Fungsi is_symmetric
di atas menerima dua argumen: argumen pertama R
adalah relasi yang ingin diperiksa sifat simetrisnya dan argumen kedua A
adalah himpunan dimana relasi R
didefinisikan. Fungsi is_symmetric
mengembalikan True
jika relasi R
pada argumen pertamanya bersifat simetris dan mengembalikan False
jika sebaliknya.
Fungsi yang memeriksa sifat antisimetris dari sebuah relasi dapat dituliskan dalam kode Python seperti berikut:
Fungsi is_antisymmetric
di atas menerima dua argumen: argumen pertama R
adalah relasi yang ingin diperiksa sifat antisimetrisnya dan argumen kedua A
adalah himpunan dimana relasi R
didefinisikan. Fungsi is_antisymmetric
mengembalikan True
jika relasi R
pada argumen pertamanya bersifat antisimetris dan mengembalikan False
jika sebaliknya.
Fungsi yang memeriksa sifat transitif dari sebuah relasi dapat dituliskan dalam kode Python seperti berikut:
Fungsi is_transitive
di atas menerima dua argumen: argumen pertama R
adalah relasi yang ingin diperiksa sifat transitifnya dan argumen kedua A
adalah himpunan dimana relasi R
didefinisikan. Fungsi is_transitive
mengembalikan True
jika relasi R
pada argumen pertamanya bersifat transitif dan mengembalikan False
jika sebaliknya.
Kita dapat menyimpan fungsi-fungsi yang kita tuliskan pada bagian sebelumnya ke sebuah module sehingga kita dapat menggunakannya dalam kode-kode Python lain. Ikuti langkah-langkah berikut untuk menyimpan fungsi-fungsi sifat relasi pada sebuah module:
Pertama buka jendela IDLE Python 3.10, lalu klik File > New File
Sebuah window Modus Script akan muncul.
Pada window Modus Script ketikan program di bawah ini dan simpan dengan nama sifat_relasi.py
Untuk menggunakan module sifat_relasi.py
yang telah kita buat di atas, kita harus mengimpornya dalam kode kita. Kode yang menggunakan module sifat_relasi.py
berada di dalam direktori/folder yang sama tempat kita menyimpan module tersebut.
Contoh 2. Memeriksa Sifat Relasi 1
Misalkan . Tentukan apakah relasi-relasi berikut bersifat refleksif, simetris, antisimetris, dan transitif.
Kode Python yang dapat digunakan untuk menyelesaikan persoalan di atas:
Output dari kode di atas:
Contoh 3. Mengkombinasikan Relasi
Misalkan dan dan relasi dan adalah relasi-relasi dari ke . Tentukan,
,
,
,
.
Kode Python untuk menyelesaikan persoalan di atas:
Output dari kode di atas:
Relasi invers dari relasi dapat dicari dengan:
Contoh 4. Relasi Invers
Misalkan , , dan adalah relasi dari ke yang didefinisikan dengan . Cari relasi invers dari .
Kode Python untuk menyelesaikan persoalan di atas:
Output dari kode di atas: