Schubfachprinzip

S,T endliche Mengen,

[image] Abbildung.

 

Falls [image] so ist f nicht injektiv.