:: deftheorem defines C_0_Functions C0SP3:def 10 :
for X being non empty TopSpace
for T being NormedLinearTopSpace holds C_0_Functions (X,T) = { f where f is Function of the carrier of X, the carrier of T : ( f is continuous & ex Y being non empty Subset of X st
( Y is compact & Cl (support f) c= Y ) ) } ;