theorem Th10: :: PCOMPS_1:10

for T being non empty TopSpace
for FX being Subset-Family of T st FX is finite holds
FX is locally_finite