theorem :: CARD_3:96

for A being non empty countable set ex f being Function of omega,A st rng f = A