Perhatikan relasi \(f : {\mathbb Q} \rightarrow {\mathbb Z}\) yang diberikan oleh \(f(p/q) = p\text{.}\) Kita mengetahui bahwa \(1/2 = 2/4\text{,}\) tetapi apakah \(f(1/2) = 1\) atau \(2\text{?}\) Relasi ini tidak mungkin merupakan pemetaan karena tidak terdefinisi dengan baik. Suatu relasi terdefinisi dengan baik jika setiap elemen dalam domain dipasangkan dengan satu elemen tunggal dalam daerah hasil.