Relasi biner

Sebuah relasi dapat dikaitkan dengan sebuah fungsi proposisi atau kalimat terbuka yang himpunan penyelesaiannya tidak lain adalah relasi tersebut.