A = {1, 2, 3} ve B = {a, b, c, d} kümeleri veriliyor. f: A → B olmak üzere, f(1) = a ve f(2) ≠ b koşullarını sağlayan kaç farklı bire bir f fonksiyonu tanımlanabilir?

f(1) = a olarak sabitlenmiştir. Bire bir olma koşulundan dolayı diğer elemanlar 'a' değerini alamaz. f(2) ≠ b koşulu da verildiğinden, 2 elemanının görüntüsü B - {a, b} = {c, d} kümesinden seçilmelidir (2 durum). 3 elemanının görüntüsü ise B - {f(1), f(2)} kümesinden seçilecektir. Her durumda bu kümede 2 eleman kalacağından, 3 için 2 seçenek vardır. Toplamda 2 × 2 = 4 farklı fonksiyon tanımlanır.