for X being non empty TopSpace
for A being Subset of X holds
( A is open iff modid (X,A) is continuous Function of X,(X modified_with_respect_to A) )