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 BoundedFunctions ( the carrier of X,T)