Untuk menggambarkan hubungan antara dua anggota himpunan, misalnya A dengan B, kita bisa menggunakan pasangan berurut (ordered pairs) dimana elemen pertama adalah anggota dari A dan yang kedua dari B. Relasi antara dua himpunan yang demikian ini disebut sebagai relasi biner.

Definisi.
Tinjau dua himpunan A dan B. Relasi biner dari A ke B adalah himpunan bagian dari hasil perkalian Kartesian A×B.

download file lengkap