theorem Th22: :: CONNSP_2:22

for X being non empty TopSpace
for x being Point of X
for F being Subset-Family of X st ( for A being Subset of X holds
( A in F iff ( A is open & A is closed & x in A ) ) ) holds
F <> {}