theorem :: DECOMP_1:27

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