Contoh 3.8.7.
Berapa banyak fungsi \(f: \{1,2,3,4,5\} \to \{a,b\}\) yang surjektif?
Penyelesaian.
Terdapat \(2^5\) fungsi seluruhnya karena tersedia dua pilihan citra bagi masing-masing dari 5 anggota domain. Di antara fungsi-fungsi tersebut, fungsi yang tidak surjektif harus mengecualikan satu atau lebih anggota kodomain dari daerah hasil. Pertama, perhatikan fungsi yang daerah hasilnya tidak memuat \(a\text{.}\) Hal ini hanya dapat terjadi dengan satu cara: semua anggota dipetakan ke \(b\text{.}\) Sebagai alternatif, kita dapat mengecualikan \(b\) dari daerah hasil. Dalam hal itu, semua anggota dipetakan ke \(a\text{,}\) sehingga hanya ada satu fungsi semacam ini. Inilah satu-satunya cara suatu fungsi dapat tidak surjektif; tidak ada fungsi yang mengecualikan \(a\) dan \(b\) sekaligus dari daerah hasil. Jadi, tepat terdapat \(2^5 - 2\) fungsi surjektif.