theorem Th1: :: KURATO_1:1

for T being non empty TopSpace
for A being Subset of T holds ((((((A -) `) -) `) -) `) - = ((A -) `) -