sagen wir A und B sind Mengen, dann ist es ist doch so, dass wenn #A≤#B und g: A-->B surjektiv ist, dann ist f bijektiv.
Aber das geht doch nur, wenn #A=#B, oder?
Denn wenn #A<#B wäre, dann könnte doch nicht jedes b aus B ein Urbild haben, oder sehe ich das falsch?