for n being Nat
for A being Subset of (COMPLEX n) st A = {} holds
A is open ;