Input (grade 5): Proposition: If is a countable set for each then is countable.
Output (grade 6): Sometimes when people say 'countable set' they mean countable and infinite.