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