for X being non empty TopSpace
for T being NormedLinearTopSpace
for x being set st x in C_0_Functions (X,T) holds
x in ContinuousFunctions (X,T)