Penyelesaian dan Himpunan Penyelesaian
Penyelesaian adalah pengganti variabel yang membuat kalimat terbuka menjadi pernyataan yang benar. Kita akan melihat kembali contoh pada bagian sebelumnya.
x ∈{A, B, E}
y ∈{B, C, D}
x berada sebelum y dalam urutan abjad bahasa Indonesia.
Berikutnya kita akan menggunakan simbol D untuk domain, K untuk kodomain, dan u untuk kalimat relasinya.
D = {A, B, E}
K = {B, C, D}
u(x, y) = x berada sebelum y dalam urutan abjad bahasa Indonesia.
Berikutnya: Notasi pasangan berurutan