Relasi biner

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".