Da fehlt aber wohl : f ist bijektiv !
Dann ist es allerdings einfach; denn
abzählbar ist eine Menge M , wenn es eine
bijektive Abbildung g: M ---> ℕ gibt bzw. v
h : ℕ ---> M.
Sei also A abzählbar
==> es gibt eine bijektive Abb. h: ℕ → A
Ist nun f: A -> B bijektiv, dann ist die
Verkettung f o h eine bijektive Abb. von ℕ nach B,
also B abzählbar.
Entsprechend folgt auch B abzählbar auch A abzählbar.