Die Menge aller Abbildungen g : N → M ist B = {g1,g2,g3,g4,g5,g6,g7,g8} mit
g1 : 1 ↦ 1, 2 ↦ 1, 3 ↦ 1
g2 : 1 ↦ 1, 2 ↦ 1, 3 ↦ 2
g3 : 1 ↦ 1, 2 ↦ 2, 3 ↦ 1
g4 : 1 ↦ 1, 2 ↦ 2, 3 ↦ 2
g5 : 1 ↦ 2, 2 ↦ 1, 3 ↦ 1
g6 : 1 ↦ 2, 2 ↦ 1, 3 ↦ 2
g7 : 1 ↦ 2, 2 ↦ 2, 3 ↦ 1
g8 : 1 ↦ 2, 2 ↦ 2, 3 ↦ 2
Surjektiv sind alle gk, die nicht alle Elemente von N auf dasselbe Element in M abbilden.
Das ist für k ∈ {2,3,4,5,6,7} der Fall.