for T being non empty TopSpace holds
( T is countably_compact iff for S being non-empty closed SetSequence of T st S is V176() holds
meet S <> {} )