Original: is a surjection from the countable set to the set and the Corollary implies is countable.
Simplified: 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.