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