theorem Th21: :: COMPL_SP:21

for T being non empty TopSpace holds
( T is countably_compact iff for F being Subset-Family of T st F is centered & F is closed & F is countable holds
meet F <> {} )