theorem Th11: :: AOFA_I00:11

for X being countable set
for f being Enumeration of X holds rng f c= NAT