Sebelum
membahas tentang relasi, kita ingatkan kembali tentang pergandaan himpunan yang
di definisikan sebagai : AxB= {(x,y) /x
A
y
B}
AyB}
Jadi
himpunan A xB mempunyai anggota semua pasangan terurut (x,y) dengan x sebagai
urutan pertama dan y urutan yang kedua. Jika (x,y) 
A xB maka p(x,y) merupakan
fungsi pernyataan yang bernilai benar saja atau salah saja, tetapi tidak
keduanya. Dan p(x,y) ini juga merupakan kalimat tebuka dengan dua
perubah.
A xB maka p(x,y) merupakan
fungsi pernyataan yang bernilai benar saja atau salah saja, tetapi tidak
keduanya. Dan p(x,y) ini juga merupakan kalimat tebuka dengan dua
perubah.
Contoh :
Misalnya
himpuna A = { pria }, himpunan B = { wanita } dan p(x,y) = “x suami y”
Maka p(Yohanes,
Aminah) merupakan pasangan pria dan wanita yang mempunyai nilai kebenaran
berdasarkan kenyataan yang ada (realitas).
