Dari tabel sumber, \(h(f(1))=h(b)=\alpha\text{,}\) \(h(f(2))=h(c)=\beta\text{,}\) dan \(h(f(3))=h(a)=\gamma\text{.}\) Ketiga keluaran berbeda dan memenuhi \(C\text{.}\) Sebaliknya, \(h(g(1))=h(d)=\alpha\text{,}\) \(h(g(2))=h(c)=\beta\text{,}\) dan \(h(g(3))=h(d)=\alpha\text{;}\) masukan \(1\) dan \(3\) bertabrakan dan \(\gamma\) tidak tercapai. Keluaran \(f\) ialah \(\{a,b,c\}\text{,}\) keluaran \(g\) ialah \(\{c,d\}\text{,}\) dan keluaran \(h\) ialah seluruh \(C\text{,}\) dengan \(h(b)=h(d)\text{.}\) Fakta-fakta ini memberi semua klasifikasi pada jawaban.