theorem :: DECOMP_1:19

for X, Y being non empty TopSpace
for f being Function of X,Y holds
( f is alpha-continuous iff ( f is s-continuous & f is (alpha,s)-continuous ) )