Es sei M {\displaystyle {}M} eine endliche Menge mit m {\displaystyle {}m} Elementen und N {\displaystyle {}N} eine endliche Menge mit n {\displaystyle {}n} Elementen. Es sei m > n {\displaystyle {}m>n} . Dann gibt es keine injektive Abbildung