for X being non empty TopSpace
for A being Subset of X
for x being Point of X st not x in A holds
modid (X,A) is_continuous_at x