theorem Th6: :: KURATO_1:6

for T being non empty TopSpace
for A, Q being Subset of T st Q in Kurat14Set A holds
( Q ` in Kurat14Set A & Q - in Kurat14Set A )