If you can count the things in a set , it is called a countable set . A set with one thing in it is countable , and so is a set with one hundred things in it .
is a surjection from the countable set to the set and the Corollary implies is countable .