Supposons que l'on veuille ranger
n paires de chaussettes dans
p tiroirs. Si
n>p, il est évident qu'un des tiroirs comportera plus d'une paire de chaussettes. On peut formaliser cette remarque de la manière suivante. Si on note
E l'ensemble des paires de chaussettes,
F l'ensemble des tiroirs et
f l'application qui à une paire de chaussettes associe le tiroir dans laquelle elle se trouve, alors la remarque précédente signifie que
f n'est pas injective.
