:: deftheorem defines (alpha,s)-continuous DECOMP_1:def 36 :
for X, Y being non empty TopSpace
for f being Function of X,Y holds
( f is (alpha,s)-continuous iff for G being Subset of Y st G is open holds
f " G in D(alpha,s) X );