Es seien S {\displaystyle {}S} und T {\displaystyle {}T} endliche Mengen. Zeige, dass es genau dann eine injektive Abbildung ψ : S → T {\displaystyle {}\psi \colon S\rightarrow T} gibt, wenn # ( S ) ≤ # ( T ) {\displaystyle {}{\#\left(S\right)}\leq {\#\left(T\right)}} gilt.