theorem Th4: :: COMPTS_1:4

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