theorem Th28: :: TOPGEN_3:28

for X being set st X is countable holds
Fin X is countable