Gegeben sind zwei endliche Mengen: X und Y, dessen Kardinalität |X|=m und |Y|=n, wobei n und m ∈ℕ. Gehen Sie zudem davon aus, dass f:X->Y bijektiv ist. Zeigen Sie, dass n=m.
Ja, da stehe ich mit einem großen Fragezeichen.
Beim Induktionsschritt zeigt man, dass die Hypothese für ein beliebiges n gilt und dann für n+1. Aber in diesem Fall, weiß ich nicht einmal wie ich das für n=1 zeigen sollte...