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