theorem :: CONNSP_2:25

for X being non empty TopSpace
for x being Point of X holds qComponent_of x is closed