theorem Th9: :: KURATO_1:9

for T being non empty TopSpace
for A, Q being Subset of T st Q in Kurat7Set A holds
( Int Q in Kurat7Set A & Cl Q in Kurat7Set A )