Diagram panah berikut ini menunjukkan hubungan dari

Hubungan yang setiap elemen A berpasangan tepat satu dengan elemen B, dan setiap elemen B berpasangan tepat satu dengan elemen A.

Pembahasan

Korespondensi satu-satu (atau bijection) adalah fungsi bijektif di mana setiap elemen di himpunan kodomain (himpunan B) memiliki tepat satu pasangan di himpunan domain (himpunan A), dan sebaliknya, setiap elemen di himpunan domain memiliki tepat satu pasangan di himpunan kodomain. Ini berarti tidak ada dua elemen berbeda di A yang dipetakan ke elemen yang sama di B, dan setiap elemen di B memiliki setidaknya satu elemen di A yang dipetakan kepadanya.

Untuk menentukan hubungan mana yang merupakan korespondensi satu-satu, kita perlu melihat diagram panah yang diberikan (asumsikan diagram tersebut tersedia). Kita akan memeriksa dua kondisi:
1. Apakah setiap elemen di A memiliki tepat satu pasangan di B?
2. Apakah setiap elemen di B memiliki tepat satu pasangan di A?

Jika kedua kondisi ini terpenuhi, maka hubungan tersebut adalah korespondensi satu-satu. Jika salah satu kondisi tidak terpenuhi (misalnya, ada dua elemen di A yang dipetakan ke satu elemen di B, atau ada elemen di B yang tidak memiliki pasangan di A), maka itu bukan korespondensi satu-satu.