ThmDex – An index of mathematical definitions, results, and conjectures.
Result R433 on D16: Countable set
Subset of countable set is countable