Sometimes when people say ` countable set ' they mean countable and infinite .
Proposition : If is a countable set for each then is countable .