Himpunan pasangan berurutan berikut yang merupakan

Korespondensi satu-satu adalah relasi di mana setiap elemen domain berpasangan dengan tepat satu elemen kodomain, dan sebaliknya.

Pembahasan

Korespondensi satu-satu (atau fungsi bijektif) adalah relasi khusus antara dua himpunan di mana setiap elemen di himpunan pertama berhubungan dengan tepat satu elemen di himpunan kedua, dan sebaliknya, setiap elemen di himpunan kedua berhubungan dengan tepat satu elemen di himpunan pertama. Dengan kata lain, tidak ada dua elemen di himpunan pertama yang dipetakan ke elemen yang sama di himpunan kedua, dan setiap elemen di himpunan kedua memiliki pasangan di himpunan pertama.

Himpunan pasangan berurutan yang merupakan korespondensi satu-satu harus memenuhi dua syarat:
1.  Setiap elemen pertama (domain) hanya muncul satu kali.
2.  Setiap elemen kedua (kodomain) hanya muncul satu kali.

Untuk menentukan himpunan mana yang merupakan korespondensi satu-satu, kita perlu melihat himpunan-himpunan pasangan berurutan yang diberikan (dalam hal ini, tidak disertakan dalam pertanyaan). Jika ada beberapa pilihan himpunan pasangan berurutan, kita harus memeriksa masing-masing himpunan.

Contoh:
Himpunan A = {(1, a), (2, b), (3, c)} adalah korespondensi satu-satu.
Himpunan B = {(1, a), (2, b), (3, b)} bukan korespondensi satu-satu karena elemen 'b' di kodomain muncul dua kali.
Himpunan C = {(1, a), (2, b), (1, c)} bukan korespondensi satu-satu karena elemen '1' di domain muncul dua kali.

Tanpa pilihan himpunan pasangan berurutan, tidak mungkin memberikan jawaban spesifik. Namun, prinsipnya adalah memeriksa apakah setiap elemen domain berpasangan dengan tepat satu elemen kodomain, dan setiap elemen kodomain berpasangan dengan tepat satu elemen domain.