theorem Th25: :: TOPREALC:25

for n being Nat
for X being Subset of (TOP-REAL n) holds - X = (-) X