for A being TopSpace
for B being non empty TopSpace
for f being Function of A,B
for C being TopSpace
for X being Subset of A st f is continuous & C is SubSpace of B holds
for h being Function of (A | X),C st h = f | X holds
h is continuous