:: deftheorem defines open CFDIFF_1:def 11 :
for X being Subset of COMPLEX holds
( X is open iff X ` is closed );